summary refs log tree commit diff
path: root/pkgs/development/coq-modules/itauto
Commit message (Collapse)AuthorAge
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
|
* coqPackages.itauto: init at 8.16.0Vincent Laporte2022-09-08
|
* coqPackages: etcCyril Cohen2022-05-25
| | | | | | | | | - 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`
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
| | | | This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
* coqPackages: etcCyril Cohen2022-05-12
| | | | | | | | - 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`
* coqPackages.itauto: init at 8.14.0 & 8.15.0Vincent Laporte2022-05-07
|
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ↵Ulrik Strid2022-02-25
| | | | | | = true Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
|
* coqPackages.itauto: init at 8.13+noBen Siraphob2021-07-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 18:17:22 +0000