Théo Zimmermann 90654cce7d coqPackages.mkCoqDerivation: fix useDune2 ... - Reuse build phase from the `buildDunePackage` function. - Only install the package that was just built (useful for monorepo support). - Introduces `opam-name` to override the default package name to build with Dune.		2021-08-17 14:38:47 +02:00
..
agda.section.md
android.section.md
beam.section.md	beam: update reference to nodejs package	2021-07-01 04:20:00 +00:00
bower.section.md
coq.section.md	coqPackages.mkCoqDerivation: fix useDune2	2021-08-17 14:38:47 +02:00
crystal.section.md
dhall.section.md
dotnet.section.md
emscripten.section.md
gnome.section.md
go.section.md	buildGoModule: add proxyVendor	2021-08-06 09:10:09 +10:00
haskell.section.md
hy.section.md	hy: 0.19.0 -> 1.0a1 and improvements	2021-06-27 12:34:28 +02:00
idris.section.md
index.xml	hy: 0.19.0 -> 1.0a1 and improvements	2021-06-27 12:34:28 +02:00
ios.section.md
java.section.md
lua.section.md	doc: updated lua doc	2021-08-09 21:37:58 +02:00
maven.section.md
node.section.md	doc: remove unnecessary parentheses	2021-08-05 21:57:20 +08:00
ocaml.section.md
perl.section.md
php.section.md
python.section.md	fixup! python3: 3.8 -> 3.9	2021-07-05 12:34:02 -07:00
qt.section.md
r.section.md
ruby.section.md
rust.section.md	doc: rust: improve documentation on cargoLock.lockFile	2021-08-01 17:01:13 -04:00
texlive.section.md
titanium.section.md
vim.section.md	update-luarocks-packages: use pluginupdate.py	2021-08-09 21:37:56 +02:00