Vincent Laporte 68e4b639a3 Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native ... coq: Move dune, ocaml and findlib to nativeBuildInputs		2022-02-26 08:54:53 +01:00
..
agda.section.md
android.section.md
beam.section.md	doc/beam: minor formatting/copy fixes (#153396)	2022-01-04 18:20:42 +08:00
bower.section.md
coq.section.md	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2022-02-25 07:54:17 +01:00
crystal.section.md
dhall.section.md
dotnet.section.md	buildDotnetModule: wrap executables in preFixup	2022-01-12 00:23:53 +01:00
emscripten.section.md
gnome.section.md
go.section.md	buildGoModule: use proxyVendor instead of runVend	2022-01-06 14:00:58 +10:00
haskell.section.md
hy.section.md
idris.section.md
index.xml
ios.section.md
java.section.md
javascript.section.md
lua.section.md
maven.section.md
nim.section.md
ocaml.section.md	manual: document deprecated minimumOCamlVersion	2022-01-26 07:35:19 +01:00
octave.section.md
perl.section.md
php.section.md
python.section.md	python3Packages: document how to handle extras-require	2022-02-25 14:09:41 +01:00
qt.section.md
r.section.md
ruby.section.md
rust.section.md	rustPlatform.bindgenHook: init	2022-02-22 19:37:07 +01:00
texlive.section.md
titanium.section.md
vim.section.md	Move misc/vim-plugins to applications/editors/vim/plugins	2022-02-24 20:26:07 -03:00