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-06-12	coqPackages.Verdi: 20211026 → 20230503	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.Verdi: preemptive fix for removal of configure in future versions	Théo Zimmermann	1	-1/+5
2022-09-08	coqPackages.Verdi: enable for Coq 8.16	Vincent Laporte	1	-1/+1
2022-04-19	coqPackages.Verdi: 20210524 → 20211026	Vincent Laporte	1	-0/+3
2021-10-05	coqPackages.Verdi: 20200131 → 20210524	Vincent Laporte	1	-2/+5
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-33/+15
2020-09-10	coqPackages.Verdi: enable for Coq 8.12	Vincent Laporte	1	-1/+1
2020-06-02	coqPackages.Verdi: 20190202 → 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
2019-04-25	coqPackages.Verdi: 20181102 -> 20190202	Vincent Laporte	1	-0/+5
2018-12-21	coqPackages.Verdi: fix build	Vincent Laporte	1	-28/+8
2018-11-20	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	John Wiegley	1	-0/+52