ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-30 09:37:59 +03:00
Code Issues Projects Releases Wiki Activity
594e35cc46
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