8 Commits

Author	SHA1	Message	Date
Vincent Laporte	0697e32ae1	coqPackages_8_17: enable a few packages for Coq 8.17	2023-04-13 14:23:14 +02: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	726422b4fe	coqPackages.addition-chains: enable for Coq 8.16	2022-09-08 18:07:00 +02:00
Ulrik Strid	7e20e9039e	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>	2022-02-25 07:54:17 +01:00
Théo Zimmermann	8208c3eec8	coqPackages.addition-chains: 0.5 -> 0.6	2022-02-20 14:32:30 +01:00
Théo Zimmermann	856da48b65	coqPackages.addition-chains: 0.4 -> 0.5	2021-10-18 11:41:25 +02:00
Théo Zimmermann	58c1ab9158	coqPackages.addition-chains: init at 0.4	2021-08-17 14:44:10 +02:00