18 Commits

Author	SHA1	Message	Date
Pierre Roux	a9e5f6bfcd	coqPackages: Enable override with dev branches (#329356) ... Useful for CI applications.	2024-07-23 11:49:28 +02:00
Pierre Roux	383e9b5696	coq-elpi: 2.0.1 -> 2.2.0 (#323590) ... elpi: 1.18.1 -> 1.19.2	2024-07-01 08:04:15 +02:00
Pierre Roux	971ef0c694	coq_8_20: init at 8.20+rc1 (#323105)	2024-06-28 15:47:38 +02:00
Vincent Laporte	81537e0656	coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4	2024-05-31 20:55:19 +02:00
Vincent Laporte	d70d9425f4	coqPackages.mathcomp-word: 2.2 → 2.3	2024-03-22 08:08:45 +01:00
Pierre Roux	2c7c560330	coqPackages.mathcomp: 2.1.0 -> 2.2.0	2024-01-17 15:40:16 +01:00
Pierre Roux	e1f1b5bcd2	coqPackages.mathcomp: 1.18.0 -> 1.19.0	2024-01-16 10:34:25 +01:00
Vincent Laporte	76c5738ef2	coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}	2023-11-29 06:31:24 +01:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Vincent Laporte	04c41a12cf	coqPackages.mathcomp-word: 2.0 → 2.1	2023-06-06 10:28:20 +02:00
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Vincent Laporte	a2c917865f	coqPackages.mathcomp-word: 1.1 → 2.0	2022-10-05 13:38:03 +02: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	2611f23722	coqPackages.mathcomp-word: enable for Coq 8.16	2022-09-08 18:06:24 +02:00
Vincent Laporte	68322e1297	coqPackages.mathcomp-word: 1.0 → 1.1	2022-04-26 13:11:29 +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
Cyril Cohen	dffe2434ae	coqPackages.mathcomp: 1.13.0 -> 1.14.0	2022-02-02 08:56:55 +01:00
Vincent Laporte	e99619604d	coqPackages.mathcomp-word: init at 1.0	2021-12-24 11:59:00 +01:00