mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-12-19	coqPackages.paramcoq: 8.18 -> 8.19	Pierre Roux	1	-1/+2
2023-09-04	coq_8_18: init at 8.18+rc1	Vincent Laporte	1	-1/+2
2023-02-02	coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17	Vincent Laporte	1	-1/+2
2023-01-21	treewide: remove global with lib; statements in pkgs/coq-modules	Shawn8901	1	-3/+3
2022-06-23	coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16	Vincent Laporte	1	-1/+2
2022-01-27	coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15	Théo Zimmermann	1	-1/+2
2021-10-21	coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)	Vincent Laporte	1	-1/+4
2021-10-01	coqPackages.paramcoq: 1.1.2 → 1.1.3	Vincent Laporte	1	-3/+7
2021-04-28	coqPackages.paramcoq: enable for Coq 8.13	Vincent Laporte	1	-1/+2
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-53/+17
2020-09-09	coqPackages.paramcoq: init at 1.1.2 for Coq 8.12	Vincent Laporte	1	-0/+3
2020-03-27	coqPackages.paramcoq: 1.1.1 → 1.1.2	Vincent Laporte	1	-9/+16
2019-12-30	treewide: installFlags is a list	Robin Gloster	1	-1/+1
2019-08-26	treewide: remove redundant quotes	volth	1	-1/+1
2019-02-17	coqPackages.paramcoq: init at 1.1.1	Vincent Laporte	1	-0/+48