Merge pull request #134456 from Zimmi48/mathcomp-1.12
coqPackages.mathcomp: change default version for Coq 8.10+launchpad/nixpkgs/master
commit
fb56026541
Loading…
Reference in new issue