mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-391/+0
2020-06-12	coqPackages.mathcomp: 1.11.0	Cyril Cohen	1	-9/+28
2020-05-27	coqPackages.mathcomp-extra: refactor	Cyril Cohen	1	-14/+15
2020-05-09	Coq: refactoring of mathcomp packages (#86088)	Cyril Cohen	1	-185/+354
2019-12-30	treewide: installFlags is a list	Robin Gloster	1	-2/+2
2019-08-26	treewide: remove redundant quotes	volth	1	-6/+6
2019-07-02	coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0	Cyril Cohen	1	-23/+46
2019-06-03	coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed	Cyril Cohen	1	-13/+55
2019-05-21	several fixes in coq and coqPackages.mathcomp (and extras)	Cyril Cohen	1	-10/+9
2019-05-15	coqPackages: refactor mathcomp packages	Cyril Cohen	1	-0/+138