mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-09-04	coq_8_18: init at 8.18+rc1	Vincent Laporte	1	-1/+1
2023-08-03	treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...	Jan Malakhovski	1	-4/+4
2023-04-13	coqPackages_8_17: enable a few packages for Coq 8.17	Vincent Laporte	1	-1/+1
2023-01-21	treewide: remove global with lib; statements in pkgs/coq-modules	Shawn8901	1	-3/+3
2022-06-13	coqPackages.metalib: enable for Coq 8.16	Vincent Laporte	1	-1/+1
2022-05-25	coqPackages: etc	Cyril Cohen	1	-1/+0
2022-05-13	Revert "coqPackages: etc"	Vincent Laporte	1	-0/+1
2022-05-12	coqPackages: etc	Cyril Cohen	1	-1/+0
2022-04-27	coqPackages.metalib: clean & init at 8.15	Vincent Laporte	1	-3/+7
2021-05-10	coqPackages.metalib: enable for Coq 8.13	Vincent Laporte	1	-1/+1
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-24/+9
2020-09-22	coqPackages.metalib: 20170713 → 20200527	Vincent Laporte	1	-36/+13
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-4/+4
2019-02-08	coqPackages_8_9: disable a few packages that do not build	Vincent Laporte	1	-1/+1
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann	1	-1/+1
2017-12-18	coqPackages: move to a separate file and filter the package set	Vincent Laporte	1	-3/+6
2017-11-12	coqPackages.metalib: New expression	John Wiegley	1	-0/+53