14 commits

Author	SHA1	Message	Date
volth	08f68313a4	treewide: remove redundant rec	2019-08-28 11:07:32 +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
Vincent Laporte	59949aa55c	Revert "coq-modules: add default to fix eval" ... This reverts commit e20b65156c.	2019-02-01 16:02:42 +00: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
Vincent Laporte	10fa10731e	coqPackages.category-theory: bound build parallelism	2019-01-11 17:24:45 +00:00
Vincent Laporte	ab95faa507	coqPackages.category-theory: fix build	2018-10-24 05:50:04 +00:00
Théo Zimmermann	8c399bd6c1	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	2018-10-19 10:25:09 +02:00
Janne Heß	9ef77854f7	treewide: Use http/https for homepages	2018-09-08 18:30:00 +02:00
Peter Simons	6d6522d30d	coqPackages.category-theory: revert "Add equations as a buildInput" ... This reverts commit 08bf0b7630, which broke Nixpkgs evaluation. Ping @jwiegley.	2018-07-28 09:16:37 +02:00
John Wiegley	08bf0b7630	coqPackages.category-theory: Add equations as a buildInput	2018-07-27 16:17:09 -07:00
John Wiegley	368cca9f19	coqPackages.category-theory: Update to Git version as of 20180709	2018-07-27 16:11:52 -07: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	d1532bc6c6	coqPackages.category-theory: New expression	2017-12-14 23:32:37 -08:00