Jörg Thalheim 92e25e5ada Merge pull request #137474 from marsam/uppdate-fstar ... fstar: 2021.08.27 -> 2021.09.11		2021-09-12 08:49:06 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	go_1_16: 1.16.7 -> 1.16.8	2021-09-12 10:48:00 +10:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries	Merge pull request #137480 from r-ryantm/auto-update/libsigcxx30	2021-09-12 01:13:56 -05:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	python38Packages.scp: 0.13.6 -> 0.14.0	2021-09-11 18:59:02 -07:00
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #137165 from pborzenkov/gops-0.3.20	2021-09-11 22:07:44 +02:00
web