27 Commits

Author	SHA1	Message	Date
Vincent Laporte	5aa7222940	coqPackages_8_17.equations: init at 1.3+8.17	2023-02-01 07:41:17 +01:00
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Matthieu Sozeau	3604bfdf5b	Support dev version of equations	2022-09-22 14:14:06 +02:00
Vincent Laporte	81a0991e2d	coqPackages_8_16.equations: init at 1.3+8.16	2022-07-25 16:28:59 +02:00
Théo Zimmermann	4b7398fe10	coqPackages_8_15.equations: init at 1.3+8.15	2022-01-25 15:24:08 +01:00
Vincent Laporte	2db21cf063	coqPackages.equations: 1.2.4 → 1.3 (for Coq 8.13)	2021-12-03 12:54:58 +01:00
Théo Zimmermann	3437b543fd	coq_8_14: init at 8.14+rc1	2021-10-13 10:44:09 +02:00
Lars Rasmusson	7fc935db12	coqPackages.equations: 1.2.3 → 1.2.4	2021-04-14 13:45:56 +02:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Vincent Laporte	b8dfca143c	coq_8_12: 8.12+β1 → 8.12.0 ... coqPackages.equations: 1.2.2 → 1.2.3	2020-08-08 06:33:08 +02:00
Vincent Laporte	4e0164cbb3	coqPackages.equations: 1.2.1 → 1.2.2	2020-06-30 08:51:15 +02:00
Vincent Laporte	a4adb1f75b	coqPackages.equations: 1.2 → 1.2.1	2020-04-23 18:03:04 +02:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Robin Gloster	2157dcd141	treewide: installFlags is a list	2019-12-30 13:22:43 +01:00
volth	7b8fb5c06c	treewide: remove redundant quotes	2019-09-08 23:38:31 +00:00
volth	35d68ef143	treewide: remove redundant quotes	2019-08-26 21:40:19 +00:00
Vincent Laporte	f9486ce114	coqPackages.equations: 1.2beta2 -> 1.2 (#65281) ... * coqPackages.equations: 1.2beta2 -> 1.2 * coqPackages.category-theory: 20181016 -> 20190414	2019-07-23 22:27:55 +02:00
Cyril Cohen	c96ef6fc44	updating packages coqPackages.bignums and coqPackages.equations	2019-05-23 15:05:15 +02:00
Vincent Laporte	59949aa55c	Revert "coq-modules: add default to fix eval" ... This reverts commit e20b65156c.	2019-02-01 16:02:42 +00:00
John Wiegley	7239ffcc3c	coqPackages.equations: 1.2-beta-8.9 for coq_8_9	2019-01-31 11:56:07 -08:00
Matthew Bauer	82a1153d6d	coq-modules: add default to fix eval ... We don’t want these to not even evaluate, otherwise we won’t know why they’re broken. For now, I’ve left these as the latest version for a default. In the future, maybe we should be smarter about choosing these. (cherry picked from commit e20b65156c)	2019-01-28 10:16:30 -05:00
Théo Zimmermann	8c399bd6c1	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	2018-10-19 10:25:09 +02:00
Vincent Laporte	3f41f6c5fa	coqPackages.equations: enable for Coq 8.8	2018-07-08 11:13:27 +00:00
John Wiegley	1459b2dffa	coqPackages.equations: Add support for Coq 8.8	2018-07-05 15:17:22 -07:00
John Wiegley	60a6b81e2d	coqPackages.equations: -> 1.0	2017-12-21 01:06:14 -08:00
Vincent Laporte	d9f41a5bce	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
John Wiegley	7d6d4af1d1	Add missing default.nix for coqPackages.equations	2017-11-12 09:33:40 -08:00