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.StructTact: 20210328 → 20230107	Vincent Laporte	1	-0/+3
2023-01-21	treewide: remove global with lib; statements in pkgs/coq-modules	Shawn8901	1	-2/+2
2022-12-24	coqPackages.StructTact: preemptive fix for removal of configure in future ver...	Théo Zimmermann	1	-1/+5
2022-06-13	coqPackages.StructTact: enable for Coq 8.16	Vincent Laporte	1	-1/+1
2021-12-09	coqPackages.StructTac: enable for Coq 8.15	Vincent Laporte	1	-1/+1
2021-10-05	coqPackages.StructTact: 20181102 → 20210328	Vincent Laporte	1	-1/+6
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-29/+9
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-06-16	treewide: remove unused variables (#63177)	volth	1	-1/+1
2018-12-21	coqPackages.StructTact: fix build	Vincent Laporte	1	-33/+6
2018-11-20	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	John Wiegley	1	-0/+58