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.InfSeqExt: 20200131 → 20230107	Vincent Laporte	1	-1/+6
2023-01-06	coq_8_17: init at 8.17+rc1 (#209145)	Pierre Roux	1	-1/+1
2022-12-24	coqPackages.InfSeqExt: preemptive fix for removal of configure in future vers...	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	-29/+9
2020-09-10	coqPackages.Verdi: enable for Coq 8.12	Vincent Laporte	1	-1/+1
2020-06-02	coqPackages.InfSeqExt: 20180918 → 20200131	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.InfSeqExt: fix build	Vincent Laporte	1	-34/+7
2018-11-20	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	John Wiegley	1	-0/+58