Max Wittig 95b324edc7 gitlab-runner: 12.3.0 -> 12.4.0		2019-10-22 08:48:00 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
compilers	Elm: 0.19.0 -> 0.19.1	2019-10-21 21:32:35 +02:00
coq-modules	coq_8_10: 8.10+β3 → 8.10.0	2019-10-16 02:43:46 +00:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules	Elm: 0.19.0 -> 0.19.1	2019-10-21 21:32:35 +02:00
idris-modules
interpreters	Merge pull request #71177 from Taneb/metamath-upgrade	2019-10-15 16:06:07 +02:00
java-modules
libraries	catch2: 2.9.2 -> 2.10.0	2019-10-21 19:53:25 -07:00
lisp-modules
lua-modules	luaPackages.luacov: init at 0.13.0-1	2019-10-14 21:53:23 +09:00
misc
mobile
node-packages	nodePackages_10_x.azure-cli, nodePackages_10_x.azure-functions… (#71170)	2019-10-17 01:17:01 +02:00
ocaml-modules	ocamlPackages.duff: init at 0.2	2019-10-21 05:31:00 +00:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.mesa: init at 0.8.6	2019-10-21 10:29:58 -07:00
r-modules
ruby-modules
tools	gitlab-runner: 12.3.0 -> 12.4.0	2019-10-22 08:48:00 +02:00
web	grails: 4.0.0 -> 4.0.1	2019-10-22 07:04:45 +02:00