Vincent Laporte ff346a442d Merge pull request #192437 from kyoDralliam/metacoq-fix-dev ... fix metacoq builds for coq >= 8.16 in dev mode, adds 1.1 release for coq 8.16		2022-09-27 13:39:10 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #192932 from figsoda/kind2	2022-09-26 15:23:47 -04:00
coq-modules	Merge pull request #192437 from kyoDralliam/metacoq-fix-dev	2022-09-27 13:39:10 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #192903 from sg2002/fix/spidermonkey-i686	2022-09-26 09:40:44 -03:00
java-modules
libraries	Merge pull request #193024 from aaronjheng/libtorrent-rasterbar-1_1_x	2022-09-27 10:52:29 +02:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages	nodePackages.pnpm: 7.12.0 -> 7.12.2	2022-09-26 13:44:04 -04:00
ocaml-modules	ocamlPackages.uunf: 14.0.0 → 15.0.0	2022-09-27 06:52:26 +02:00
octave-modules
perl-modules
pharo
php-packages	php80Packages.phpstan: 1.8.5 -> 1.8.6	2022-09-26 00:49:59 +00:00
python-modules	Merge pull request #192944 from r-ryantm/auto-update/klaus	2022-09-27 11:40:29 +02:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #193101 from r-ryantm/auto-update/oh-my-posh	2022-09-26 21:29:31 -04:00
web