Vincent Laporte 1f11888116 Revert "coqPackages: etc" ... This reverts commit 7e589a45ef.		2022-05-13 06:47:14 +02:00
..
agda.section.md
android.section.md
beam.section.md
bower.section.md
chicken.section.md
coq.section.md	Revert "coqPackages: etc"	2022-05-13 06:47:14 +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
lua.section.md
maven.section.md
nim.section.md
ocaml.section.md
octave.section.md
perl.section.md
php.section.md
python.section.md
qt.section.md
r.section.md
ruby.section.md
rust.section.md
texlive.section.md
titanium.section.md
vim.section.md