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 |
|