mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2019-09-08	treewide: remove redundant quotes	volth	1	-3/+3
2019-08-26	treewide: remove redundant quotes	volth	1	-1/+1
2019-07-23	coqPackages.equations: 1.2beta2 -> 1.2 (#65281)	Vincent Laporte	1	-6/+12
2019-05-23	updating packages coqPackages.bignums and coqPackages.equations	Cyril Cohen	1	-6/+6
2019-02-01	Revert "coq-modules: add default to fix eval"	Vincent Laporte	1	-1/+1
2019-01-31	coqPackages.equations: 1.2-beta-8.9 for coq_8_9	John Wiegley	1	-0/+6
2019-01-28	coq-modules: add default to fix eval	Matthew Bauer	1	-1/+1
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann	1	-1/+1
2018-07-08	coqPackages.equations: enable for Coq 8.8	Vincent Laporte	1	-7/+7
2018-07-05	coqPackages.equations: Add support for Coq 8.8	John Wiegley	1	-0/+6
2017-12-21	coqPackages.equations: -> 1.0	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-11-12	Add missing default.nix for coqPackages.equations	John Wiegley	1	-0/+45