| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2023-11-15 | coqPackages.gappalib: 1.5.3 → 1.5.4 | Vincent Laporte | 1 | -1/+2 | |
| 2023-06-07 | coqPackages.gappalib: 1.5.2 → 1.5.3 | Vincent Laporte | 1 | -1/+2 | |
| 2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+3 | |
| 2022-09-10 | coqPackages.gappalib: 1.5.1 → 1.5.2 | Vincent Laporte | 1 | -1/+2 | |
| 2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -1/+1 | |
| - 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 | -1/+1 | |
| This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | |||||
| 2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -1/+1 | |
| - 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-11 | coqPackages.gappalib: 1.5.0 → 1.5.1 | Vincent Laporte | 1 | -1/+2 | |
| 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-12-09 | coqPackages.gappalib: disable for Coq 8.15 | Vincent Laporte | 1 | -1/+1 | |
| 2021-10-03 | coqPackages.gappalib: 1.4.5 → 1.5.0 | Vincent Laporte | 1 | -1/+2 | |
| 2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -22/+16 | |
| 2020-08-30 | coqPackages.gappalib: 1.4.3 → 1.4.4 | Vincent Laporte | 1 | -4/+4 | |
| 2020-04-29 | coqPackages.gappalib: 1.4.1 → 1.4.3 | Vincent Laporte | 1 | -4/+4 | |
| 2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -2/+2 | |
| 2019-06-27 | coqPackages.gappalib: disable for Coq 8.10 | Vincent Laporte | 1 | -1/+1 | |
| 2019-06-19 | coqPackages.gappalib: init at 1.4.1 | Vincent Laporte | 1 | -0/+30 | |
| This is the Coq support library for Gappa. | |||||
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |