| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 1 | -1/+1 | |
| 2023-08-03 | treewide: noop: refer to `src.name` or similar in `sourceRoot` where ↵ | Jan Malakhovski | 1 | -4/+4 | |
| appropriate, part 1: trivial cases | |||||
| 2023-04-13 | coqPackages_8_17: enable a few packages for Coq 8.17 | Vincent Laporte | 1 | -1/+1 | |
| 2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+3 | |
| 2022-06-13 | coqPackages.metalib: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
| 2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -1/+0 | |
| - 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 | -0/+1 | |
| This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | |||||
| 2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -1/+0 | |
| - 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-27 | coqPackages.metalib: clean & init at 8.15 | Vincent Laporte | 1 | -3/+7 | |
| 2021-05-10 | coqPackages.metalib: enable for Coq 8.13 | Vincent Laporte | 1 | -1/+1 | |
| 2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -24/+9 | |
| 2020-09-22 | coqPackages.metalib: 20170713 → 20200527 | Vincent Laporte | 1 | -36/+13 | |
| 2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -4/+4 | |
| 2019-02-08 | coqPackages_8_9: disable a few packages that do not build | Vincent Laporte | 1 | -1/+1 | |
| 2018-10-19 | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 1 | -1/+1 | |
| 2017-12-18 | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 1 | -3/+6 | |
| 2017-11-12 | coqPackages.metalib: New expression | John Wiegley | 1 | -0/+53 | |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |