alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
430720 commits 217 branches 116 tags 4 GiB
Commit graph

19 commits

Author SHA1 Message Date
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