19 Commits (0386939da059f97d1a7477e454c2ab257c71b926)

Author	SHA1	Message	Date
Vincent Laporte	4847e4382c	coqPackages.category-theory: enable with Coq 8.15	2 years ago
John Wiegley	11f5352bbe	coqPackages.category-theory: Set highest compatibility to coq 8.14 (#150559) ... * coqPackages.category-theory: Set highest compatibility to coq 8.14 * coqPackages.category-theory: 20210730 → 20211213 Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>	2 years ago
John Wiegley	c8ff5bc6f7	coqPackages.category-theory: v20210730, for Coq versions 8.10-8.13	3 years ago
Cyril Cohen	9ffd16b385	coqPackages: refactor	3 years ago
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	4 years ago
volth	08f68313a4	treewide: remove redundant rec	5 years ago
volth	35d68ef143	treewide: remove redundant quotes	5 years ago
Vincent Laporte	f9486ce114	coqPackages.equations: 1.2beta2 -> 1.2 (#65281) ... * coqPackages.equations: 1.2beta2 -> 1.2 * coqPackages.category-theory: 20181016 -> 20190414	5 years ago
Vincent Laporte	59949aa55c	Revert "coq-modules: add default to fix eval" ... This reverts commit e20b65156c.	5 years ago
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)	5 years ago
Matthew Bauer	e20b65156c	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.	5 years ago
Vincent Laporte	10fa10731e	coqPackages.category-theory: bound build parallelism	5 years ago
Vincent Laporte	ab95faa507	coqPackages.category-theory: fix build	6 years ago
Théo Zimmermann	8c399bd6c1	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	6 years ago
Janne Heß	9ef77854f7	treewide: Use http/https for homepages	6 years ago
Peter Simons	6d6522d30d	coqPackages.category-theory: revert "Add equations as a buildInput" ... This reverts commit 08bf0b7630, which broke Nixpkgs evaluation. Ping @jwiegley.	6 years ago
John Wiegley	08bf0b7630	coqPackages.category-theory: Add equations as a buildInput	6 years ago
John Wiegley	368cca9f19	coqPackages.category-theory: Update to Git version as of 20180709	6 years ago
Vincent Laporte	d9f41a5bce	coqPackages: move to a separate file and filter the package set	7 years ago
John Wiegley	d1532bc6c6	coqPackages.category-theory: New expression	7 years ago