James Wood 9934f0bb51 AgdaStdlib: 0.15 -> 0.16 (#44550)		2018-08-06 18:39:11 +02:00
..
arduino
beam-modules	elixir: init 1.7.0	2018-07-25 23:48:50 +02:00
bower-modules/generic
compilers	compcert: 3.2 -> 3.3 (#44512)	2018-08-05 21:14:55 +02:00
coq-modules	coqPackages.category-theory: revert "Add equations as a buildInput"	2018-07-28 09:16:37 +02:00
dotnet-modules/patches
em-modules/generic
go-modules	Merge master into staging	2018-07-26 16:18:53 +02:00
guile-modules
haskell-modules	haskellPackages.llvm-hs: Use LLVM 6 with llvm-hs, don't run tests on Darwin.	2018-08-05 07:46:10 -07:00
idris-modules	idrisPackages.quantities: init at 2018-04-17	2018-08-04 23:10:43 -04:00
interpreters	duktape: 2.2.1 -> 2.3.0	2018-08-06 13:15:50 +02:00
java-modules
libraries	AgdaStdlib: 0.15 -> 0.16 (#44550)	2018-08-06 18:39:11 +02:00
lisp-modules
lua-modules
misc
mobile	adb-sync: use python3 (#44409)	2018-08-03 19:48:42 +02:00
node-packages	nodePackages: meguca: 1.0.8 -> 1.0.9	2018-08-03 10:41:45 -05:00
ocaml-modules	Merge pull request #44289 from vbgl/ocaml-core_kernel-0.11.1	2018-08-01 11:54:07 +01:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.mozlog: fix the hash	2018-08-05 10:20:24 +03:00
r-modules	r-packages: fix regression	2018-08-04 06:19:08 +00:00
ruby-modules	solargraph: 0.23.3 -> 0.23.6 (#44480)	2018-08-05 16:23:31 +02:00
tools	yarn: 1.9.2 -> 1.9.4 (#44477)	2018-08-05 00:23:22 +02:00
web	Merge pull request #44153 from Kaali/nodejs10-update	2018-08-03 11:45:13 +08:00