nixpkgs - Contrib clone of nixpkgs

Age	Commit message (Collapse)	Author
2019-08-26	treewide: remove redundant quotes	volth

2019-02-01	Revert "coq-modules: add default to fix eval"	Vincent Laporte
	This reverts commit e20b65156cee92d30b43f8e339bd686bd83538cb.
2019-01-28	coq-modules: add default to fix eval	Matthew Bauer
	We don’t want these to not even evaluate, otherwise we won’t know why they’re broken. For now, I’ve left these as the latest version for a default. In the future, maybe we should be smarter about choosing these. (cherry picked from commit e20b65156cee92d30b43f8e339bd686bd83538cb)
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann

2018-05-09	coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8	Vincent Laporte

2018-03-21	coq: init at 8.8+beta1	Vincent Laporte

2017-11-12	coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7	John Wiegley

2017-10-30	coqPackages.dpdgraph: remove support for coq 8.7	Maxime Dénès
	coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported upstream.
2017-10-22	coqPackages_8_7: New expression, but don't make it the default yet	John Wiegley

2017-09-21	misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`	John Ericson
	Only acts on one-line dependency lists.
2017-01-12	coqPackages.dpdgraph: 0.5 -> 0.6{,.1}	Vincent Laporte

2016-05-03	coq-dpdgraph: init at 0.5	Vincent Laporte