mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2022-09-22	Support dev version of equations	Matthieu Sozeau	1	-1/+1
2022-07-25	coqPackages_8_16.equations: init at 1.3+8.16	Vincent Laporte	1	-3/+7
2022-01-25	coqPackages_8_15.equations: init at 1.3+8.15	Théo Zimmermann	1	-6/+9
2021-12-03	coqPackages.equations: 1.2.4 → 1.3 (for Coq 8.13)	Vincent Laporte	1	-1/+3
2021-10-13	coq_8_14: init at 8.14+rc1	Théo Zimmermann	1	-0/+3
2021-04-14	coqPackages.equations: 1.2.3 → 1.2.4	Lars Rasmusson	1	-2/+9
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-72/+41
2020-08-08	coq_8_12: 8.12+β1 → 8.12.0	Vincent Laporte	1	-6/+6
2020-06-30	coqPackages.equations: 1.2.1 → 1.2.2	Vincent Laporte	1	-3/+9
2020-04-23	coqPackages.equations: 1.2 → 1.2.1	Vincent Laporte	1	-6/+12
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-1/+1
2019-12-30	treewide: installFlags is a list	Robin Gloster	1	-1/+1
2019-09-08	treewide: remove redundant quotes	volth	1	-3/+3
2019-08-26	treewide: remove redundant quotes	volth	1	-1/+1
2019-07-23	coqPackages.equations: 1.2beta2 -> 1.2 (#65281)	Vincent Laporte	1	-6/+12
2019-05-23	updating packages coqPackages.bignums and coqPackages.equations	Cyril Cohen	1	-6/+6
2019-02-01	Revert "coq-modules: add default to fix eval"	Vincent Laporte	1	-1/+1
2019-01-31	coqPackages.equations: 1.2-beta-8.9 for coq_8_9	John Wiegley	1	-0/+6
2019-01-28	coq-modules: add default to fix eval	Matthew Bauer	1	-1/+1
2018-10-19	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	Théo Zimmermann	1	-1/+1
2018-07-08	coqPackages.equations: enable for Coq 8.8	Vincent Laporte	1	-7/+7
2018-07-05	coqPackages.equations: Add support for Coq 8.8	John Wiegley	1	-0/+6
2017-12-21	coqPackages.equations: -> 1.0	John Wiegley	1	-6/+6
2017-12-18	coqPackages: move to a separate file and filter the package set	Vincent Laporte	1	-0/+4
2017-11-12	Add missing default.nix for coqPackages.equations	John Wiegley	1	-0/+45