mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-17 02:14:36 +00:00
Code Issues Wiki Activity
158693 commits 180 branches 125 tags 5.7 GiB
Commit graph

8 commits

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