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	Merge recent master	2014-06-12 09:15:11 +02:00
libraries	haskell-boxes: new expression	2014-06-16 14:03:17 -07:00
lisp-modules	Updatign ASDF to 3.1.2	2014-05-28 01:33:28 +04:00
misc	avr-gcc: set meta.platforms = linux	2014-05-31 18:10:29 +02:00
mobile	Fix xpwn on Darwin and other case-insensitive file systems	2014-06-06 18:06:03 -04:00
ocaml-modules	fix evaluation (wrong meta.maintainers field)	2014-06-09 19:12:17 +02:00
perl-modules
python-modules	fixes #2926	2014-06-15 16:05:18 +02:00
qtcreator	qt5,qtcreator: update to qt-5.2.1 and qtcreator-3.1.	2014-06-11 21:30:21 +02:00
r-modules	cran-packages.nix: fix a couple of builds	2014-06-09 12:58:48 +02:00
ruby-modules
tools	Merge #2798: stdenv and a few other big updates	2014-06-16 10:23:36 +02:00
web	Revert "typescript: add package. Closes #2712"	2014-05-21 15:57:34 +02:00