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
..
meta-fetch	coq: misc	2022-02-15 10:06:07 +01:00
default.nix	coqPackages: etc	2022-05-12 06:11:43 +02:00
extra-lib.nix