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
..
agda.section.md
android.section.md
beam.section.md
bower.section.md
chicken.section.md
coq.section.md	coqPackages: etc	2022-05-25 20:00:25 +02:00
crystal.section.md
cuda.section.md
dhall.section.md
dotnet.section.md
emscripten.section.md
gnome.section.md
go.section.md
haskell.section.md
hy.section.md
idris.section.md
index.xml
ios.section.md
java.section.md
javascript.section.md	nodePackages: update/cleanup documentation	2022-05-14 11:30:21 -07:00
lua.section.md
maven.section.md
nim.section.md
ocaml.section.md
octave.section.md
perl.section.md
php.section.md
python.section.md	doc/python: use optional-dependencies instead of extras-require	2022-05-22 16:31:45 +02:00
qt.section.md
r.section.md
ruby.section.md
rust.section.md
texlive.section.md
titanium.section.md
vim.section.md