8 Commits

Author	SHA1	Message	Date
Vincent Laporte	6225a51060	coqPackages_8_16: fix evaluation with math-comp ≥ 2.0 ... Disable coq-bits, extructures, and gaia-hydra	2023-12-05 06:56:28 +01:00
Vincent Laporte	0881edb66a	coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9	2023-11-30 09:40:04 +01:00
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Théo Zimmermann	2dc3552aa1	coqPackages.mkCoqDerivation: upgrade to Dune 3 ... And remove the version number from the corresponding attributes.	2022-10-02 14:42:28 +02:00
Vincent Laporte	bdc09cc2e1	coqPackages.gaia-hydras: enable for Coq 8.16	2022-09-08 18:06:41 +02:00
Théo Zimmermann	450eab2ca7	coqPackages_8_14.gaia-hydras: 0.5 -> 0.6	2022-02-20 14:32:30 +01:00
Cyril Cohen	c5c34f6be1	coqPackages.mathcomp: 1.12.0 -> 1.13.0	2021-10-29 21:05:07 +02:00
Théo Zimmermann	8797af5eb7	coqPackages.gaia-hydras: init at 0.5	2021-10-18 11:42:52 +02:00