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 |
|