mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2022-05-03	coqPackages.metacoq: create package (#162639)	Kenji Maillard	1	-0/+76
2022-04-30	Merge branch 'master' into staging-next-2022-04-23	Vladimír Čunát	3	-5/+18
2022-04-29	coqPackages.simple-io: 1.3.0 → 1.7.0	Vincent Laporte	1	-3/+10
2022-04-29	coqPackages.parsec: 0.1.0 → 0.1.1	Vincent Laporte	1	-2/+6
2022-04-28	coqPackages.tlc: 20210316 → 20211215	Vincent Laporte	1	-0/+2
2022-04-27	Merge branch 'master' into staging-next-2022-04-23	Vladimír Čunát	2	-4/+13
2022-04-27	coqPackages.coqtail-math: 20201124 → 8.14	Vincent Laporte	1	-1/+6
2022-04-27	coqPackages.metalib: clean & init at 8.15	Vincent Laporte	1	-3/+7
2022-04-26	Merge master into staging-next	github-actions[bot]	1	-1/+2
2022-04-26	coqPackages.mathcomp-word: 1.0 → 1.1	Vincent Laporte	1	-1/+2
2022-04-22	Merge pull request #166605 from siraben/remove-redundant-stdenv	Artturi	1	-2/+2
2022-04-19	coqPackages.Verdi: 20210524 → 20211026	Vincent Laporte	1	-0/+3
2022-04-16	treewide: remove nativeBuildInputs that are in stdenv	Ben Siraphob	1	-2/+2
2022-04-13	coqPackages.smtcoq: init at itp22	Ben Siraphob	1	-0/+26
2022-04-13	coqPackages.trakt: init at 1.0	Ben Siraphob	1	-0/+24
2022-04-12	coqPackages.CoLoR: 1.8.1 → 1.8.2	Vincent Laporte	1	-1/+2
2022-04-11	coqPackages.gappalib: 1.5.0 → 1.5.1	Vincent Laporte	1	-1/+2
2022-04-04	Merge pull request #167193 from vbgl/coq-coqprime-8.15	Ben Siraphob	1	-1/+2
2022-04-04	coqPackages.coqprime: 8.14.1 → 8.15	Vincent Laporte	1	-1/+2
2022-04-04	coqPackages.relation-algebra: 1.7.6, 1.7.7	Vincent Laporte	1	-1/+8
2022-04-04	coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1	Vincent Laporte	1	-2/+6
2022-03-24	coqPackages.VST: fix build with Coq 8.15.1	Vincent Laporte	1	-0/+1
2022-03-24	compcert: add support for Coq 8.15.1	Vincent Laporte	1	-0/+5
2022-02-25	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...	Ulrik Strid	22	-30/+45
2022-02-23	coqPackages.iris: 3.5.0 → 3.6.0	Vincent Laporte	2	-2/+6
2022-02-23	coqPackages_8_15.coqhammer: enable at 1.3.2	Vincent Laporte	1	-0/+3
2022-02-21	coqPackages.hydra-battles: fix version checking logic	Théo Zimmermann	1	-1/+1
2022-02-20	coqPackages_8_14.gaia-hydras: 0.5 -> 0.6	Théo Zimmermann	1	-0/+2
2022-02-20	coqPackages.addition-chains: 0.5 -> 0.6	Théo Zimmermann	1	-1/+2
2022-02-20	coqPackages.hydra-battles: 0.5 -> 0.6	Théo Zimmermann	1	-6/+8
2022-02-20	coqPackages.LibHyps: init at 2.0.4.1	Théo Zimmermann	1	-0/+21
2022-02-16	coq-elpi: 1.12.1 -> 1.13.0	Enrico Tassi	1	-2/+3
2022-02-16	coqPackages.VST: 2.8 → 2.9	Vincent Laporte	1	-2/+9
2022-02-16	coqPackages.ITree: enable for Coq 8.15	Vincent Laporte	1	-1/+1
2022-02-16	coqPackages.compcert: enable for Coq 8.15	Vincent Laporte	1	-2/+8
2022-02-06	coqPackages_8_15.dpdgraph: init at 1.0+8.15	Vincent Laporte	1	-0/+2
2022-02-02	Add odd-order 1.13.0	Pierre Roux	1	-0/+3
2022-02-02	Adapt to Coq 8.15 and MathCOmp 1.14	Pierre Roux	9	-4/+19
2022-02-02	mathcomp-abel compiles with Coq 8.15	Pierre Roux	1	-1/+1
2022-02-02	coqPackages.mathcomp: 1.13.0 -> 1.14.0	Cyril Cohen	4	-4/+6
2022-01-27	coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15	Théo Zimmermann	1	-1/+2
2022-01-27	coqPackages.gaia: mark as compatible with Coq 8.15	Théo Zimmermann	1	-1/+1
2022-01-27	coqPackages.mathcomp-zify: mark as compatible with Coq 8.15	Théo Zimmermann	1	-1/+1
2022-01-27	coqPackages_8_15.serapi: init at 8.15.0+0.15.0	Théo Zimmermann	1	-5/+3
2022-01-26	ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)	José Romildo Malaquias	1	-16/+1
2022-01-25	coqPackages.reglang: mark as compatible with Coq 8.15	Théo Zimmermann	1	-1/+1
2022-01-25	coqPackages_8_15.equations: init at 1.3+8.15	Théo Zimmermann	1	-6/+9
2022-01-25	coqPackages.deriving: mark as compatible with Coq 8.15	Théo Zimmermann	1	-1/+1
2022-01-25	coqPackages.coq-record-update: mark as compatible with Coq 8.15	Théo Zimmermann	1	-1/+2
2022-01-25	coqPackages.coq-ext-lib: 0.11.4 -> 0.11.6	Théo Zimmermann	1	-1/+3