| Age | Commit message (Collapse) | 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 | 2 | -4/+8 | |
| 2023-01-24 | Merge pull request #212009 from Shawn8901/remove_with_lib_2 | Weijia Wang | 1 | -3/+3 | |
| treewide: remove global with lib; statements in pkgs/coq-modules | |||||
| 2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+3 | |
| 2023-01-21 | treewide: switch to nativeCheckInputs | Guillaume Girol | 1 | -1/+1 | |
| checkInputs used to be added to nativeBuildInputs. Now we have nativeCheckInputs to do that instead. Doing this treewide change allows to keep hashes identical to before the introduction of nativeCheckInputs. | |||||
| 2022-10-07 | coqPackages.simple-io: fix & add tests | Vincent Laporte | 2 | -2/+26 | |
| 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 | |
| - put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages` | |||||
| 2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -2/+4 | |
| This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | |||||
| 2022-05-13 | Revert "moving findlib to propagedNativeBuildInputs" | Vincent Laporte | 1 | -1/+1 | |
| This reverts commit 82440c9374f4de934e287476e2b3a4bbf837d98a. | |||||
| 2022-05-12 | moving findlib to propagedNativeBuildInputs | Cyril Cohen | 1 | -1/+1 | |
| 2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -4/+2 | |
| - use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages` | |||||
| 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 | |
| = true Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com> | |||||
| 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 | |
| coqPackages.QuickChick: 1.0.2 -> 20190311 | |||||
| 2018-12-10 | coqPackages.simple-io: init at 0.2 | Vincent Laporte | 1 | -0/+32 | |
| Purely functional IO for Coq. homepage: https://github.com/Lysxia/coq-simple-io | |||||
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |