nixpkgs/pkgs/development/coq-modules/mathcomp
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