8 Commits

Author	SHA1	Message	Date
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Théo Zimmermann	4a5e022304	coqPackages.trakt: fix documented license	2023-07-27 08:37:02 +02:00
Théo Zimmermann	53ef5765ad	coqPackages.trakt: add recent versions	2023-07-27 08:37:02 +02:00
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
Vincent Laporte	557f5ee714	coqPackages.trakt: enable for Coq 8.16	2022-09-08 18:05:52 +02:00
Vincent Laporte	61d8986385	coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16 ... They depend on elpi (not yet available in nixpkgs)	2022-06-13 11:29:20 +02:00
Ben Siraphob	8566253746	coqPackages.trakt: init at 1.0	2022-04-13 19:38:00 -05:00