5b25af4f80
The older version, 1.9.6.nix, is still around because Agda won't accept the latest one. svn path=/nixpkgs/trunk/; revision=28226 |
||
---|---|---|
.. | ||
compilers | ||
eclipse | ||
guile-modules | ||
interpreters | ||
libraries | ||
misc | ||
ocaml-modules | ||
perl-modules | ||
python-modules | ||
ruby-modules | ||
tools | ||
web/nodejs |