Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-01-12 | coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269) | Cyril Cohen | 1 | -0/+4 | |
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 * removing trakt for 8.18 for now at least | |||||
2023-08-28 | coqPackages.hierarchy-builder: 1.4.0 → 1.5.0 | Vincent Laporte | 1 | -0/+2 | |
2023-03-09 | coqPackages: various 8.16 -> 8.17 | Pierre Roux | 1 | -1/+1 | |
2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -5/+5 | |
2022-09-29 | coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0 | Cyril Cohen | 1 | -1/+2 | |
2022-08-31 | mathcomp: 1.14.0 -> 1.15.0 | Enrico Tassi | 1 | -1/+2 | |
2022-07-26 | coqPackages.hierarchy-builder: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-06-18 | mkCoqDerivation: do not set DESTDIR | Vincent Laporte | 1 | -0/+3 | |
Fixes #178109 | |||||
2022-06-13 | coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16 | Vincent Laporte | 1 | -1/+1 | |
They depend on elpi (not yet available in nixpkgs) | |||||
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -4/+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/+4 | |
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | |||||
2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -4/+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-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> | |||||
2022-02-02 | Adapt to Coq 8.15 and MathCOmp 1.14 | Pierre Roux | 1 | -0/+2 | |
2021-10-30 | coqPackages.hierarchy-builder: etc | Cyril Cohen | 1 | -4/+6 | |
2021-10-27 | coqPackages.coq-elpi: 1.10 -> 1.11 | Cyril Cohen | 1 | -0/+4 | |
2021-10-13 | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | 1 | -2/+2 | |
2021-07-16 | coqPackages.hierarchy-builder: 1.0.0 -> 1.1.0 | Ben Siraphob | 1 | -4/+8 | |
2021-02-18 | elpi: 1.12.0 -> 1.13.0 | Cyril Cohen | 1 | -0/+2 | |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -34/+15 | |
2020-08-11 | coq-elpi: 1.4.1 -> 1.5.1 | Cyril Cohen | 1 | -4/+5 | |
2020-06-04 | ocamlPackages.elpi: 1.10.2 -> 1.11.0 | Cyril Cohen | 1 | -5/+4 | |
coqPackages.coq-elpi: 1.3.1 -> 1.4.0 coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1 | |||||
2020-03-11 | coqPackages.hierarchy-builder: init at 0.9.0 | Cyril Cohen | 1 | -0/+43 | |