Théo Zimmermann fd20e227a0 coqPackages.math-classes: 8.8.1 -> 8.9.1 ... Introduces compatibility with Coq 8.10.		2019-07-22 11:37:37 +00:00
..
androidndk-pkgs
arduino
beam-modules	Merge pull request #64803 from serokell/elixir19	2019-07-19 00:03:29 +02:00
bower-modules/generic
compilers	go: Add rvolosatovs to maintainers	2019-07-17 10:22:58 +02:00
coq-modules	coqPackages.math-classes: 8.8.1 -> 8.9.1	2019-07-22 11:37:37 +00:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #60675 from protoben/evcxr-0.3.3	2019-07-21 02:37:29 +02:00
java-modules
libraries	Merge pull request #64539 from twhitehead/gl2ps	2019-07-21 14:16:37 +00:00
lisp-modules
lua-modules
misc
mobile	cocoapods-beta: 1.7.4 -> 1.7.5	2019-07-19 11:44:45 -07:00
node-packages	Add antora	2019-07-22 08:09:09 +02:00
ocaml-modules	ocamlPackages.visitors: 20180513 -> 20190711	2019-07-19 18:06:50 -07:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #65167 from r-ryantm/auto-update/python3.7-tweepy	2019-07-20 18:42:01 -05:00
r-modules
ruby-modules
tools	Merge pull request #65194 from r-ryantm/auto-update/uftrace	2019-07-21 13:13:32 -04:00
web	cypress: fix missing GSettings schemas	2019-07-19 09:26:13 +02:00