16 Commits

Author	SHA1	Message	Date
Pierre Roux	971ef0c694	coq_8_20: init at 8.20+rc1 (#323105)	2024-06-28 15:47:38 +02:00
Pierre Roux	7c0435d86d	Bump a few things compiling with Coq 8.19	2023-12-19 20:20:53 +01:00
Artturin	20591326aa	treewide: remove unnecessary patching of configure script ... The configure phase of `stdenv` now runs `patchShebangs` on `configureScript`. Did not remove `patchShebangs` in packages which override `configurePhase`	2023-11-25 18:16:12 +02:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Vincent Laporte	00144a9175	coqPackages.StructTact: 20210328 → 20230107	2023-06-12 08:59:51 +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	365f7f342f	coqPackages.StructTact: preemptive fix for removal of configure in future versions	2022-12-24 17:19:46 +01:00
Vincent Laporte	31648f5f8e	coqPackages.StructTact: enable for Coq 8.16	2022-06-13 11:29:20 +02:00
Vincent Laporte	2b51eb99d2	coqPackages.StructTac: enable for Coq 8.15	2021-12-09 15:46:06 +01:00
Vincent Laporte	05845bd429	coqPackages.StructTact: 20181102 → 20210328	2021-10-05 07:38:05 +02:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Robin Gloster	2157dcd141	treewide: installFlags is a list	2019-12-30 13:22:43 +01:00
volth	08f68313a4	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
volth	f3282c8d1e	treewide: remove unused variables (#63177) ... * treewide: remove unused variables * making ofborg happy	2019-06-16 19:59:05 +00:00
Vincent Laporte	5a12bedbfa	coqPackages.StructTact: fix build	2018-12-21 12:37:04 +01:00
John Wiegley	a370bd1fed	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	2018-11-20 15:18:12 -08:00