mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
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-10-05	coqPackages.category-theory: 20211213 → 1.0.0	Vincent Laporte	1	-0/+2
2022-05-07	coqPackages.category-theory: enable with Coq 8.15	Vincent Laporte	1	-1/+1
2021-12-16	coqPackages.category-theory: Set highest compatibility to coq 8.14 (#150559)	John Wiegley	1	-1/+3
2021-07-30	coqPackages.category-theory: v20210730, for Coq versions 8.10-8.13	John Wiegley	1	-0/+3
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-43/+15
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-2/+2
2019-08-28	treewide: remove redundant rec	volth	1	-1/+1
2019-08-26	treewide: remove redundant quotes	volth	1	-1/+1
2019-07-23	coqPackages.equations: 1.2beta2 -> 1.2 (#65281)	Vincent Laporte	1	-5/+6
2019-02-01	Revert "coq-modules: add default to fix eval"	Vincent Laporte	1	-1/+1
2019-01-28	coq-modules: add default to fix eval	Matthew Bauer	1	-1/+1
2019-01-11	coqPackages.category-theory: bound build parallelism	Vincent Laporte	1	-1/+1
2018-10-24	coqPackages.category-theory: fix build	Vincent Laporte	1	-15/+19
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann	1	-1/+1
2018-09-08	treewide: Use http/https for homepages	Janne Heß	1	-1/+1
2018-07-28	coqPackages.category-theory: revert "Add equations as a buildInput"	Peter Simons	1	-1/+1
2018-07-27	coqPackages.category-theory: Add equations as a buildInput	John Wiegley	1	-1/+1
2018-07-27	coqPackages.category-theory: Update to Git version as of 20180709	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-12-14	coqPackages.category-theory: New expression	John Wiegley	1	-0/+45