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