Dmitry Kalinkin 9943fd1a1d Merge pull request #76653 from alexarice/agda-rework ... Agda rework		2020-05-14 18:02:50 -04:00
..
androidndk-pkgs
arduino
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
dhall-modules
dotnet-modules
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
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
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
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