Théo Zimmermann 3bc15ebf22 rocqPackages.mkRocqDerivation: fix the build of equation by re-introducing COQPATH ...

Dune (in Coq lang mode) requires COQPATH, contrary to other tools such
as coq_makefile.

I used an AI for the last step: getting the suggestion of using
`preBuild` instead of `env`.

Assisted-by: Copilot:Claude Haiku 4.5

2026-08-18 15:39:38 +02:00

..

meta-fetch

mkCoqDerivation: make a wrapper on top of mkRocqDerivation

2026-07-10 17:56:53 +02:00

default.nix

rocqPackages.mkRocqDerivation: fix the build of equation by re-introducing COQPATH

2026-08-18 15:39:38 +02:00

extra-lib-common.nix

…

extra-lib.nix

…