Cyril Cohen
18e59521cd
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 ( #280269 )
...
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0
* removing trakt for 8.18 for now at least
2024-01-12 07:07:15 +01:00
Vincent Laporte
2ae7493cb6
coqPackages.hierarchy-builder: 1.4.0 → 1.5.0
2023-08-28 07:36:16 +02:00
Pierre Roux
2959062362
coqPackages: various 8.16 -> 8.17
2023-03-09 13:13:00 +01:00
Shawn8901
4dcb03a5c3
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-21 23:19:48 +01:00
Cyril Cohen
9ff8c7fd8c
coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0
2022-09-29 14:46:20 +02:00
Enrico Tassi
e50697278b
mathcomp: 1.14.0 -> 1.15.0
2022-08-31 19:00:56 +02:00
Vincent Laporte
da15d8f43e
coqPackages.hierarchy-builder: enable for Coq 8.16
2022-07-26 16:32:49 +02:00
Vincent Laporte
af888339b6
mkCoqDerivation: do not set DESTDIR
...
Fixes #178109
2022-06-18 11:54:21 +02:00
Vincent Laporte
61d8986385
coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16
...
They depend on elpi (not yet available in nixpkgs)
2022-06-13 11:29:20 +02:00
Cyril Cohen
d113661156
coqPackages: etc
...
- 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-25 20:00:25 +02:00
Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
.
2022-05-13 06:47:14 +02:00
Cyril Cohen
7e589a45ef
coqPackages: etc
...
- 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-05-12 06:11:43 +02:00
Ulrik Strid
7e20e9039e
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-25 07:54:17 +01:00
Pierre Roux
2768c9d4cb
Adapt to Coq 8.15 and MathCOmp 1.14
2022-02-02 08:56:55 +01:00
Cyril Cohen
314e64e467
coqPackages.hierarchy-builder: etc
2021-10-30 05:30:44 +02:00
Cyril Cohen
b46055e928
coqPackages.coq-elpi: 1.10 -> 1.11
2021-10-27 13:19:57 +02:00
Théo Zimmermann
3437b543fd
coq_8_14: init at 8.14+rc1
2021-10-13 10:44:09 +02:00
Ben Siraphob
7ded69f4c4
coqPackages.hierarchy-builder: 1.0.0 -> 1.1.0
2021-07-16 22:04:25 +07:00
Cyril Cohen
268e43a005
elpi: 1.12.0 -> 1.13.0
2021-02-18 22:26:10 +01:00
Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Cyril Cohen
084d5c0b8c
coq-elpi: 1.4.1 -> 1.5.1
2020-08-11 13:49:51 +02:00
Cyril Cohen
cc1f954bc4
ocamlPackages.elpi: 1.10.2 -> 1.11.0
...
coqPackages.coq-elpi: 1.3.1 -> 1.4.0
coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
2020-06-04 10:25:19 +02:00
Cyril Cohen
cf210c082d
coqPackages.hierarchy-builder: init at 0.9.0
2020-03-11 17:15:52 +01:00