Mario Rodas 7458f66f63 fstar: 2021.07.31 -> 2021.08.27 (#136215)		2021-09-01 07:31:20 -05:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	fstar: 2021.07.31 -> 2021.08.27 (#136215)	2021-09-01 07:31:20 -05:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
embedded	Merge pull request #135967 from r-ryantm/auto-update/stm32flash	2021-08-28 20:35:37 +02:00
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #134336 from teto/luarocks-rockspec-relpath	2021-09-01 10:31:14 +02:00
java-modules
libraries	Merge pull request #136147 from fabaff/bump-msgpack	2021-09-01 10:35:43 +02:00
lisp-modules
lua-modules	luaPackages.ansicolors: remove because unmaintained since 2013	2021-08-31 00:42:30 +02:00
misc
mobile
node-packages
ocaml-modules	ocaml-ng.ocamlPackages_4_08.uunf: mark as broken on aarch64	2021-08-31 21:15:10 +02:00
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #136276 from fabaff/bump-zeroconf	2021-09-01 10:34:58 +02:00
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #134336 from teto/luarocks-rockspec-relpath	2021-09-01 10:31:14 +02:00
web