Théo Zimmermann 2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3 ... And remove the version number from the corresponding attributes.		2022-10-02 14:42:28 +02:00
..
agda.section.md
android.section.md
beam.section.md
bower.section.md
chicken.section.md
coq.section.md	coqPackages.mkCoqDerivation: upgrade to Dune 3	2022-10-02 14:42:28 +02:00
crystal.section.md
cuda.section.md
dhall.section.md
dotnet.section.md	buildDotnetModule: move nugetDeps throw to when its actually needed	2022-09-18 18:00:37 +02:00
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
lua.section.md
maven.section.md
nim.section.md
ocaml.section.md
octave.section.md
perl.section.md
php.section.md
python.section.md	Python docs: document attribute to use for non-PyPI projects	2022-09-22 13:31:58 +02:00
qt.section.md
r.section.md
ruby.section.md
rust.section.md	doc/languages-frameworks/rust: fix typo	2022-09-03 15:45:21 -05:00
texlive.section.md
titanium.section.md
vim.section.md	doc(vim): take into account plug non-support	2022-09-11 20:33:01 +02:00