WilliButz de123f796f Merge pull request #71317 from arthurl/arthur/wt-PR ... wt: Permit overriding of optional libraries		2019-10-20 11:34:20 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
compilers	compcert: 3.5 → 3.6	2019-10-19 20:30:48 +00: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	haskellPackages.nix-tools: Fix build	2019-10-18 22:50:37 +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 #71317 from arthurl/arthur/wt-PR	2019-10-20 11:34:20 +02: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.eliom: 6.7.0 → 6.8.0	2019-10-20 06:44:41 +00:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.azure*: point to mono-repo for homepage	2019-10-20 11:18:11 +02:00
r-modules
ruby-modules
tools	scc: init at 2.8.0	2019-10-20 00:55:10 -07:00
web	nodejs-12_x: 12.10.0 -> 12.12.0	2019-10-15 04:20:00 -05:00