John Wiegley 61e8fe50c2 Agda: add 2.4.0.1, 2.3.2.2 is still the default for now		2014-06-16 14:03:17 -07:00
..
arduino
compilers	Agda: add 2.4.0.1, 2.3.2.2 is still the default for now	2014-06-16 14:03:17 -07:00
eclipse
guile-modules
interpreters
libraries	haskell-boxes: new expression	2014-06-16 14:03:17 -07:00
lisp-modules
misc
mobile
ocaml-modules
perl-modules
python-modules	fixes #2926	2014-06-15 16:05:18 +02:00
qtcreator
r-modules
ruby-modules
tools	Merge #2798: stdenv and a few other big updates	2014-06-16 10:23:36 +02:00
web