mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2021-10-21	coqPackages.extructures: init at 0.3.0	Vincent Laporte	1	-0/+1
2021-10-21	coqPackages.deriving: init at 0.1.0	Vincent Laporte	1	-0/+1
2021-10-18	coqPackages.gaia-hydras: init at 0.5	Théo Zimmermann	1	-0/+1
2021-10-13	coq_8_14: init at 8.14+rc1	Théo Zimmermann	1	-0/+2
2021-09-15	coqPackages.parsec: init at 0.1.0	Théo Zimmermann	1	-0/+1
2021-09-15	coqPackages.ceres: init at 0.4.0	Théo Zimmermann	1	-0/+1
2021-08-17	coqPackages.serapi: init at multiple versions	Théo Zimmermann	1	-0/+1
2021-08-17	coqPackages.addition-chains: init at 0.4	Théo Zimmermann	1	-0/+1
2021-08-17	coqPackages.gaia: init at 1.11 and 1.12	Théo Zimmermann	1	-0/+1
2021-07-29	coqPackages.graph-theory: init at 0.9	Ben Siraphob	1	-0/+1
2021-07-01	coqPackages.itauto: init at 8.13+no	Ben Siraphob	1	-0/+1
2021-06-29	coqPackages.semantics: init	Ben Siraphob	1	-0/+1
2021-06-14	Move CompCert into coqPackages. (#126214)	Théo Zimmermann	1	-7/+7
2021-06-08	coqPackages.reglang: init at 1.1.2	Ben Siraphob	1	-0/+1
2021-06-04	compcert: 3.8 → 3.9	Vincent Laporte	1	-1/+1
2021-06-01	coqPackages.topology: init	Ben Siraphob	1	-0/+1
2021-06-01	coqPackages.zorns-lemma: init	Ben Siraphob	1	-0/+1
2021-05-17	coqPackages.relation-algebra: init	Ben Siraphob	1	-0/+1
2021-05-17	coqPackages.aac-tactics: init	Ben Siraphob	1	-0/+1
2021-05-10	coq: default to version 8.13	Vincent Laporte	1	-1/+1
2021-05-10	coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13	Cyril Cohen	1	-0/+1
2021-05-10	coqPackages.goedel: init at 8.12.0	Ben Siraphob	1	-0/+1
2021-05-10	coqPackages.pocklington: init at 8.12.0	Ben Siraphob	1	-0/+1
2021-05-10	coqPackages.hydra-battles: init at 0.3	Ben Siraphob	1	-0/+1
2021-05-07	coqPackages.VST: 2.6 → 2.7.1	Vincent Laporte	1	-3/+5
2021-05-03	top-level/coq-packages: remove dontDistribute	Ben Siraphob	1	-3/+1
2021-04-14	ITree: init at 4.0.0	Lars Rasmusson	1	-0/+1
2021-04-09	coqtail-math: init at 20201124	Ben Siraphob	1	-0/+1
2021-03-31	coqPackages.odd-order: init at 1.12.0	Ben Siraphob	1	-0/+1
2021-03-26	coqPackages.fourcolor: init at 1.2.3	Ben Siraphob	1	-0/+1
2021-01-14	coqPackages.mathcomp-abel: init at 1.0.0	Cyril Cohen	1	-0/+1
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-62/+41
2020-12-16	coq_8_12: 8.12.1 → 8.12.2	Vincent Laporte	1	-1/+1
2020-12-15	coq_8_13: init at 8.13+β1	Vincent Laporte	1	-0/+4
2020-12-09	compcert: 3.7 → 3.8	Vincent Laporte	1	-2/+6
2020-11-15	coq_8_12: 8.12.0 → 8.12.1	Vincent Laporte	1	-1/+1
2020-10-05	coqPackages.VST: init at 2.6	Vincent Laporte	1	-0/+1
2020-08-23	coq: default to version 8.11	Vincent Laporte	1	-1/+1
2020-08-08	coq_8_12: 8.12+β1 → 8.12.0	Vincent Laporte	1	-1/+1
2020-07-10	coqPackages.coq-extensible-records: remove at 1.2.0	Vincent Laporte	1	-1/+0
2020-06-19	coq_8_12: init at 8.12+β1	Vincent Laporte	1	-0/+4
2020-05-27	coq: use OCaml 4.09	Vincent Laporte	1	-1/+5
2020-05-20	coq_8_11: 8.11.1 → 8.11.2	Vincent Laporte	1	-1/+1
2020-05-09	Coq: refactoring of mathcomp packages (#86088)	Cyril Cohen	1	-36/+11
2020-04-05	coq_8_11: 8.11.0 → 8.11.1	Vincent Laporte	1	-1/+1
2020-03-11	coqPackages.hierarchy-builder: init at 0.9.0	Cyril Cohen	1	-1/+2
2020-02-24	coqPackages.mathcomp_1_10: init at 1.10.0	Vincent Laporte	1	-1/+6
2020-01-31	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	Vincent Laporte	1	-1/+1
2019-12-07	coq_8_11: init at 8.11+β1	Vincent Laporte	1	-0/+4
2019-12-03	coq_8_10: 8.10.1 → 8.10.2	Vincent Laporte	1	-1/+1