Joachim Fasting ce4f6c215f Merge pull request #15595 from laMudri/agda-stdlib ... Agda: 2.4.2.3 -> 2.5.1		2016-05-23 08:23:55 +02:00
..
arduino	Revert "arduino: 1.0.6 -> 1.6.6"	2016-05-11 21:11:28 +02:00
beam-modules
bower-modules/generic
compilers	Merge pull request #15568 from NeQuissimus/kotlin102	2016-05-20 15:40:41 +02:00
coq-modules
dotnet-modules/patches
eclipse
go-modules
guile-modules	Merge pull request #15476 from matthiasbeyer/update-unmaintained	2016-05-16 23:45:11 +02:00
haskell-modules	Merge pull request #15595 from laMudri/agda-stdlib	2016-05-23 08:23:55 +02:00
idris-modules
interpreters	perl: fix evaluation on cygwin	2016-05-20 21:37:27 +02:00
libraries	Merge pull request #15595 from laMudri/agda-stdlib	2016-05-23 08:23:55 +02:00
lisp-modules
lua-modules
misc
mobile	Bring my stdenv.lib.maintainers user name in line with my github nick.	2016-05-16 22:49:55 +02:00
ocaml-modules	ocaml-batteries: 2.4.0 -> 2.5.2 (#15424)	2016-05-13 18:08:17 +02:00
perl-modules	perl-maatkit: fix build	2016-05-21 17:43:26 +02:00
pharo
pure-modules
python-modules	pythonPackages.pygame-git: init at 2016-05-17	2016-05-23 04:52:11 +03:00
qtcreator	qtcreator: 3.6.0 -> 3.6.1 (bugfixes)	2016-05-18 21:03:40 +02:00
r-modules
ruby-modules
tools	dub: 0.9.24 -> 0.9.25	2016-05-23 01:31:58 +02:00
web	nodejs-6_x: use xz instead of gz	2016-05-18 18:36:54 +02:00