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