mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 05:31:22 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/coq-modules/mathcomp
History
Théo Zimmermann 839354e312
coqPackages.mathcomp: change default version for Coq 8.10+ 
Fix the build of mathcomp-analysis with Coq 8.12 (by selecting a version which is compatible with HB 1.1.0).
2021-08-17 15:59:06 +02:00
..
default.nix coqPackages.mathcomp: change default version for Coq 8.10+ 2021-08-17 15:59:06 +02:00