11 Commits

Author	SHA1	Message	Date
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
Pierre Roux	d25c59bebb	coqPackages_8_19.extructures	2024-01-26 19:35:30 +01:00
Pierre Roux	2c7c560330	coqPackages.mathcomp: 2.1.0 -> 2.2.0	2024-01-17 15:40:16 +01:00
Arthur Azevedo de Amorim	f4ec563c1d	coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038) ... Co-authored-by: Théo Zimmermann <theo.zimmermann@telecom-paris.fr>	2023-10-17 16:24:58 +02:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Vincent Laporte	cba7a1095d	coqPackages.deriving: 0.1.0 → 0.1.1	2023-06-01 05:57:58 +02:00
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Vincent Laporte	0e6ea7d975	coqPackages.deriving: enable for Coq 8.16	2022-09-08 18:06:44 +02:00
Théo Zimmermann	f18e742079	coqPackages.deriving: mark as compatible with Coq 8.15	2022-01-25 15:24:08 +01:00
Vincent Laporte	78085b01ef	coqPackages.deriving: init at 0.1.0	2021-10-21 10:03:03 +02:00