Dmitry Kalinkin 9943fd1a1d Merge pull request #76653 from alexarice/agda-rework ... Agda rework		2020-05-14 18:02:50 -04:00
..
androidndk-pkgs
arduino	treewide: remove the-kenny from maintainers	2020-05-09 10:28:57 +01:00
beam-modules
bower-modules/generic
chez-modules
compilers	go-modules: Update files to use vendorSha256	2020-05-14 07:22:21 +01:00
coq-modules	Coq: refactoring of mathcomp packages (#86088)	2020-05-09 07:47:47 +02:00
dhall-modules
dotnet-modules	python-language-server: init at 2020-04-24	2020-05-09 09:41:14 +02:00
em-modules/generic
go-modules	go-modules: Add in old modsha256 w/ warning	2020-05-14 07:21:52 +01:00
go-packages
guile-modules
haskell-modules	haskell-hlint: drop obsolete override for ghc-8.10.x	2020-05-08 21:11:47 +02:00
idris-modules
interpreters	go-modules: Update files to use vendorSha256	2020-05-14 07:22:21 +01:00
java-modules
libraries	Merge pull request #76653 from alexarice/agda-rework	2020-05-14 18:02:50 -04:00
lisp-modules
lua-modules
misc
mobile
node-packages	treewide: per RFC45, remove more unquoted URLs	2020-05-08 15:20:47 +02:00
ocaml-modules	ocamlPackages.x509: 0.11.1 → 0.11.2	2020-05-14 22:15:32 +02:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.dash: 1.10.0 -> 1.12.0	2020-05-14 11:08:06 -07:00
r-modules	Merge pull request #82504 from mcwitt/fix/r-mvtnorm	2020-05-11 20:38:42 +02:00
ruby-modules
tools	Merge pull request #87406 from talyz/master	2020-05-14 21:15:31 +02:00
web	Merge pull request #87728 from DamienCassou/damien/cypress-4.5.0	2020-05-14 17:10:07 +02:00