mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-15 22:36:23 +01:00
19dfc1b011
agda: fix manual build -- blocks nixpkgs-unstable |
||
---|---|---|
.. | ||
agda.section.md | ||
android.section.md | ||
beam.xml | ||
bower.xml | ||
coq.xml | ||
crystal.section.md | ||
dotnet.section.md | ||
emscripten.section.md | ||
gnome.xml | ||
go.xml | ||
haskell.section.md | ||
idris.section.md | ||
index.xml | ||
ios.section.md | ||
java.xml | ||
lua.section.md | ||
node.section.md | ||
ocaml.xml | ||
perl.xml | ||
php.section.md | ||
python.section.md | ||
qt.xml | ||
r.section.md | ||
ruby.section.md | ||
ruby.xml | ||
rust.section.md | ||
texlive.xml | ||
titanium.section.md | ||
vim.section.md |