6 commits

Author	SHA1	Message	Date
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