9 Commits

Author	SHA1	Message	Date
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	097b07f427	coqPackages.hydra-battles: enable for Coq 8.16	2022-07-25 16:28:59 +02:00
Théo Zimmermann	61ac416992	coqPackages.hydra-battles: fix version checking logic ... With this change, the derivation can be relied on without overlay in the upstream project.	2022-02-21 16:20:04 +01:00
Théo Zimmermann	d0bb08b5cc	coqPackages.hydra-battles: 0.5 -> 0.6	2022-02-20 14:32:30 +01:00
Théo Zimmermann	589393a08b	coqPackages.hydra-battles: 0.4 -> 0.5	2021-10-18 11:42:02 +02:00
Théo Zimmermann	ff96901dbd	coqPackages.hydra-battles: 0.3 -> 0.4	2021-08-17 14:44:10 +02:00
Ben Siraphob	e7d5862f4e	coqPackages.hydra-battles: init at 0.3	2021-05-10 09:08:55 +02:00