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	doc/crystal: Update to mention shard.lock file generation	2021-10-30 16:30:33 +02:00
dhall.section.md	dhall docs: replace two paths with more general versions	2021-11-08 13:21:26 +09:00
dotnet.section.md	buildDotnetModule: wrap executables in preFixup	2022-01-12 00:23:53 +01:00
emscripten.section.md	doc: minimize mentions of nix-env -i without -A in nixpkgs manual	2021-12-18 12:00:00 +00:00
gnome.section.md	doc: fix broken links	2021-12-09 18:57:38 +00:00
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	doc: minimize mentions of nix-env -i without -A in nixpkgs manual	2021-12-18 12:00:00 +00:00
index.xml
ios.section.md
java.section.md
javascript.section.md
lua.section.md	doc: fix broken links	2021-12-09 18:57:38 +00:00
maven.section.md
nim.section.md
ocaml.section.md	manual: document deprecated minimumOCamlVersion	2022-01-26 07:35:19 +01:00
octave.section.md	doc: minimize mentions of nix-env -i without -A in nixpkgs manual	2021-12-18 12:00:00 +00:00
perl.section.md	doc: minimize mentions of nix-env -i without -A in nixpkgs manual	2021-12-18 12:00:00 +00:00
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	doc: ruby-section: add workaround for platform-specific gems	2021-12-08 14:27:52 +01:00
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