coqPackages.mathcomp-analysis: rename altreals to experimental-reals #353818
OfBorg / coqPackages.mathcomp-analysis, coqPackages.mathcomp-analysis.passthru.tests on x86_64-linux
succeeded
Nov 5, 2024 in 0s
Success
Attempted: coqPackages.mathcomp-analysis
The following builds were skipped because they don't evaluate on x86_64-linux: coqPackages.mathcomp-analysis.passthru.tests
Details
Partial log
copying path '/nix/store/3pg5fnqa37izyayyglfxr7b000j7m54y-coq8.20-mathcomp-fingroup-2.2.0' from 'https://cache.nixos.org'...
copying path '/nix/store/459gd6hdhpzpvl8ih64z0v701pbra5rn-coq8.20-mathcomp2.2-bigenough-1.0.1' from 'https://cache.nixos.org'...
copying path '/nix/store/3vzv0ayc3a18w9zpa4mrd75k65wx781c-coq8.20-mathcomp2.2-finmap-2.1.0' from 'https://cache.nixos.org'...
copying path '/nix/store/2591gzhg165ww5kwqr4m3y4marwv38fw-coq8.20-mathcomp-algebra-2.2.0' from 'https://cache.nixos.org'...
copying path '/nix/store/349vgvjmaqslh62zhhkihi546vdhak0r-coq8.20-mathcomp-solvable-2.2.0' from 'https://cache.nixos.org'...
copying path '/nix/store/pg62akmj9wg52fhfai3vq0w8f3xv266r-coq8.20-mathcomp2.2-mathcomp-classical-1.5.0' from 'https://cache.nixos.org'...
copying path '/nix/store/394x0kn4vj9ik1qg4qss14d1ypd01605-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0' from 'https://cache.nixos.org'...
copying path '/nix/store/anpqk065ww111478g6xscrwvdbzzsjxz-coq8.20-mathcomp-field-2.2.0' from 'https://cache.nixos.org'...
copying path '/nix/store/j11ysnpn0bz5p8pj0rg2fdcq00jsp1nj-coq8.20-mathcomp2.2-mathcomp-analysis-1.5.0' from 'https://cache.nixos.org'...
/nix/store/j11ysnpn0bz5p8pj0rg2fdcq00jsp1nj-coq8.20-mathcomp2.2-mathcomp-analysis-1.5.0
Loading