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