mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2021-10-13	coq_8_14: init at 8.14+rc1	Théo Zimmermann	1	-2/+2
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-46/+14
2020-10-12	coqPackages.paco: 4.0.0 → 4.0.2	Vincent Laporte	1	-4/+3
2020-09-10	coqPackages.paco: enable for Coq 8.12	Vincent Laporte	1	-0/+1
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-1/+1
2020-03-04	coqPackages.paco: enable for Coq 8.10 and 8.11	Vincent Laporte	1	-2/+4
2019-11-08	coqPackages.paco: 1.2.8 -> 4.0.0	Valentin Robert	1	-8/+31
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann	1	-1/+1
2018-03-21	coq: init at 8.8+beta1	Vincent Laporte	1	-0/+4
2017-07-10	coqPackages.paco: 1.2.7 -> 1.2.8	John Wiegley	1	-2/+2
2015-04-30	meta.description fixups	Joachim Fasting	1	-1/+1
2014-10-11	coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions	John Wiegley	1	-0/+31