mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-12-19	Bump a few things compiling with Coq 8.19	Pierre Roux	1	-1/+1
2023-09-04	coq_8_18: init at 8.18+rc1	Vincent Laporte	1	-1/+1
2023-06-08	coqPackages.simple-io: 1.7.0 → 1.8.0	Vincent Laporte	1	-3/+7
2023-01-21	treewide: remove global with lib; statements in pkgs/coq-modules	Shawn8901	1	-3/+3
2022-10-07	coqPackages.simple-io: fix & add tests	Vincent Laporte	1	-2/+5
2022-06-13	coqPackages.simple-io: enable for Coq 8.16	Vincent Laporte	1	-1/+1
2022-05-25	coqPackages: etc	Cyril Cohen	1	-4/+2
2022-05-13	Revert "coqPackages: etc"	Vincent Laporte	1	-2/+4
2022-05-13	Revert "moving findlib to propagedNativeBuildInputs"	Vincent Laporte	1	-1/+1
2022-05-12	moving findlib to propagedNativeBuildInputs	Cyril Cohen	1	-1/+1
2022-05-12	coqPackages: etc	Cyril Cohen	1	-4/+2
2022-04-29	coqPackages.simple-io: 1.3.0 → 1.7.0	Vincent Laporte	1	-3/+10
2022-02-25	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...	Ulrik Strid	1	-1/+1
2021-04-14	coqPackages.simple-io: enable for Coq 8.13	Lars Rasmusson	1	-1/+1
2021-01-09	coqPackages: refactor	Cyril Cohen	1	-25/+12
2020-08-19	coqPackages.simple-io: enable for Coq 8.12	Vincent Laporte	1	-1/+1
2020-06-23	coqPackages.simple-io: 1.2.0 → 1.3.0	Vincent Laporte	1	-3/+3
2020-03-06	coqPackages.simple-io: enable for Coq 8.10	Vincent Laporte	1	-1/+1
2019-06-06	coqPackages.simple-io: 1.0.0 -> 1.2.0	Vincent Laporte	1	-2/+2
2019-05-15	coq: init at 8.10+β1	Vincent Laporte	1	-1/+1
2019-03-18	coqPackages.coq-simple-io: 0.2 -> 1.0.0	Vincent Laporte	1	-5/+7
2018-12-10	coqPackages.simple-io: init at 0.2	Vincent Laporte	1	-0/+32