nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-07 04:34:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
67d9fb1a26
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