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