Gabriel Ebner f3ecf7d3e0 Merge pull request #71177 from Taneb/metamath-upgrade ... metamath: 0.172 -> 0.178		2019-10-15 16:06:07 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
compilers	Merge pull request #70720 from yrashk/swipl-8.1.15	2019-10-14 22:16:16 -05:00
coq-modules	coqPackages_8_7.contribs.additions: remove	2019-10-11 07:58:42 +02:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules	haskell-hpack: use latest version to fix build on ghc-8.8.x	2019-10-13 14:27:17 +02:00
idris-modules
interpreters	Merge pull request #71177 from Taneb/metamath-upgrade	2019-10-15 16:06:07 +02:00
java-modules
libraries	Merge pull request #70209 from wucke13/lxd	2019-10-15 13:31:10 +02:00
lisp-modules	lispPackages.cl-mysql: fix build	2019-10-05 23:22:23 +02:00
lua-modules	luaPackages.luacov: init at 0.13.0-1	2019-10-14 21:53:23 +09:00
misc	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
mobile	cocoapods-beta: 1.8.0.beta.2 -> 1.8.1	2019-09-27 22:12:58 -07:00
node-packages	nodePackages: Use repo tree as nixpkgs (#69351)	2019-10-11 10:32:26 +01:00
ocaml-modules	ocamlPackages.digestif: 0.5 → 0.8.0	2019-10-15 07:08:13 +02:00
perl-modules	perlPackages.DeviceMAC: init at 1.00	2019-10-04 16:00:57 +02:00
pharo
pure-modules
python-modules	pythonPackages.babelfish: uses pkg_resources	2019-10-14 14:08:26 +02:00
r-modules	r-systemfonts: fix shebang of configure script	2019-10-10 20:50:49 +02:00
ruby-modules	bundler: 1.17.2 -> 1.17.3	2019-10-02 12:35:10 +00:00
tools	Merge pull request #71171 from regadas/update/sbt	2019-10-15 08:42:43 -04:00
web	Merge master into staging-next	2019-10-08 11:56:52 +02:00