mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2022-02-20	coqPackages.LibHyps: init at 2.0.4.1	Théo Zimmermann	1	-0/+1
2022-02-16	coqPackages.VST: 2.8 → 2.9	Vincent Laporte	1	-3/+1
2021-12-24	coqPackages.mathcomp-word: init at 1.0	Vincent Laporte	1	-0/+1
2021-12-09	coq_8_15: init at 8.15+rc1	Vincent Laporte	1	-0/+2
2021-12-01	coq_8_14: 8.14.0 → 8.14.1	Vincent Laporte	1	-2/+7
2021-11-29	compcert: 3.9 → 3.10	Vincent Laporte	1	-2/+3
2021-11-25	coqPackages.coq-record-update: init	Léo Stefanesco	1	-0/+1
2021-11-12	coqPackages.smpl: init	Ben Siraphob	1	-0/+1
2021-10-29	coqPackages.mathcomp: 1.12.0 -> 1.13.0	Cyril Cohen	1	-0/+1
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