New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed #61959
Conversation
@vbgl could you trigger builds? |
oops… |
@GrahamcOfBorg build coqPackages.mathcomp |
you may also want to buid |
@GrahamcOfBorg build coqPackages_8_10.mathcomp |
@GrahamcOfBorg build coqPackages.mathcomp-real-closed |
this one does not exist yet, try |
@GrahamcOfBorg build coqPackages.mathcomp_1_8-real-closed |
@vbgl is this important and if so do you know why there is a failure? |
The failure is: “fork: Resource temporarily unavailable”. The CI machine seems overloaded. |
@vbgl I did some improvements, including releases of mathcomp finmap and analysis and filtering some invalid mathcomp extra packages that I let through for incompatible versions of Coq by mistake. |
@vbgl is there an obstacle to merge this one? |
Merged as 5474660 |
Motivation for this change
Adding mathcomp version 1.9.0 and mathcomp-real-closed versions 1.0.1 and 1.0.2
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nix-review --run "nix-review wip"
./result/bin/
)nix path-info -S
before and after)