mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2019-08-28	treewide: remove redundant rec	volth	1	-1/+1
2019-08-26	treewide: remove redundant quotes	volth	1	-1/+1
2019-07-23	coqPackages.equations: 1.2beta2 -> 1.2 (#65281)	Vincent Laporte	1	-5/+6
2019-02-01	Revert "coq-modules: add default to fix eval"	Vincent Laporte	1	-1/+1
2019-01-28	coq-modules: add default to fix eval	Matthew Bauer	1	-1/+1
2019-01-11	coqPackages.category-theory: bound build parallelism	Vincent Laporte	1	-1/+1
2018-10-24	coqPackages.category-theory: fix build	Vincent Laporte	1	-15/+19
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann	1	-1/+1
2018-09-08	treewide: Use http/https for homepages	Janne Heß	1	-1/+1
2018-07-28	coqPackages.category-theory: revert "Add equations as a buildInput"	Peter Simons	1	-1/+1
2018-07-27	coqPackages.category-theory: Add equations as a buildInput	John Wiegley	1	-1/+1
2018-07-27	coqPackages.category-theory: Update to Git version as of 20180709	John Wiegley	1	-6/+6
2017-12-18	coqPackages: move to a separate file and filter the package set	Vincent Laporte	1	-0/+4
2017-12-14	coqPackages.category-theory: New expression	John Wiegley	1	-0/+45