Michael Raskin 60b6d5f8a8 acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release		2018-09-21 19:09:47 +03:00
..
arduino
beam-modules
bower-modules/generic
compilers	kotlin: 1.2.61 -> 1.2.70	2018-09-21 08:05:29 -04:00
coq-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	Merge pull request #47096 from obsidiansystems/fix-x509-system	2018-09-20 21:55:24 -04:00
idris-modules
interpreters	acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release	2018-09-21 19:09:47 +03:00
java-modules
libraries	smarty3: 3.1.32 -> 3.1.33 (#46947)	2018-09-21 17:57:55 +02:00
lisp-modules
lua-modules
misc
mobile	Merge remote-tracking branch 'upstream/master' into darwin-android-ndk-for-master	2018-09-17 22:48:25 -04:00
node-packages	Merge pull request #46712 from obsidiansystems/ios-depoy	2018-09-15 14:56:32 -04:00
ocaml-modules	ocamlPackages.cohttp: 1.0.2 -> 1.1.1	2018-09-19 16:50:21 +00:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.circus: fix build, add meta (#47066)	2018-09-21 00:18:13 +02:00
r-modules
ruby-modules	solargraph: 0.25.1 -> 0.27.1	2018-09-16 04:56:35 -04:00
tools	pyre: 0.0.11 -> 0.0.14	2018-09-21 14:37:39 +02:00
web	postman: 6.2.5 -> 6.3.0 (#46771)	2018-09-17 11:45:27 +02:00