Nathan van Doorn 28097a54f1 metamath: 0.171 -> 0.172		2019-01-29 10:58:21 +00:00
..
androidndk-pkgs
arduino	platformio: 3.6.2 -> 3.6.4	2019-01-26 12:39:39 +01:00
beam-modules
bower-modules/generic
compilers	kotlin: 1.3.11 -> 1.3.20	2019-01-28 08:34:48 -05:00
coq-modules	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	stylish-cabal: fix build with GHC 8.4.x (and clean up overrides)	2019-01-29 10:59:32 +01:00
idris-modules
interpreters	metamath: 0.171 -> 0.172	2019-01-29 10:58:21 +00:00
java-modules
libraries	Merge pull request #54832 from r-ryantm/auto-update/gloox	2019-01-29 09:27:38 +09:00
lisp-modules
lua-modules
misc
mobile	androidenv: Remove unused patch	2019-01-26 23:17:30 +01:00
node-packages	Merge pull request #54633 from srghma/pnpm-fix	2019-01-26 22:56:06 +02:00
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	Merge pull request #54710 from r-ryantm/auto-update/python3.7-eradicate	2019-01-28 18:29:34 -08:00
r-modules
ruby-modules	defaultGemConfig.rbczmq: init	2019-01-26 21:13:57 +00:00
tools	Merge pull request #54810 from vdemeester/update-kustomize	2019-01-29 09:39:58 +01:00
web	now-cli: 13.0.4 -> 13.1.2	2019-01-27 23:46:17 -08:00