mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-12-19	Bump a few things compiling with Coq 8.19	Pierre Roux	1	-1/+1
2023-11-25	treewide: remove unnecessary patching of configure script	Artturin	1	-5/+0
2023-09-04	coq_8_18: init at 8.18+rc1	Vincent Laporte	1	-1/+1
2023-06-12	coqPackages.Cheerios: 20200201 → 20230107	Vincent Laporte	1	-1/+6
2023-01-21	treewide: remove global with lib; statements in pkgs/coq-modules	Shawn8901	1	-2/+2
2023-01-06	coq_8_17: init at 8.17+rc1 (#209145)	Pierre Roux	1	-1/+1
2022-12-24	coqPackages.Cheerios: preemptive fix for removal of configure in future versions	Théo Zimmermann	1	-1/+5
2022-07-08	Do not rely on coq-version when coq.version works just fine.	Théo Zimmermann	1	-1/+1
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-27/+8
2020-09-10	coqPackages.Verdi: enable for Coq 8.12	Vincent Laporte	1	-1/+1
2020-06-02	coqPackages.Cheerios: 20181102 → 20200201	Vincent Laporte	1	-4/+4
2019-12-30	treewide: installFlags is a list	Robin Gloster	1	-1/+1
2019-08-28	treewide: remove redundant rec	volth	1	-1/+1
2019-05-15	coq: init at 8.10+β1	Vincent Laporte	1	-1/+1
2018-12-21	coqPackages.Cheerios: fix build	Vincent Laporte	1	-27/+7
2018-11-20	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	John Wiegley	1	-0/+52