Peter Simons c04f38641d Merge pull request #229198 from phantamanta44/maude-3.3.1 ... maude: remove Full Maude		2023-05-01 07:31:06 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #227962 from ConnorBaker/feat/cuda-12_1_1	2023-04-30 12:43:45 -07:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	maude: remove Full Maude from release	2023-04-30 17:04:37 -05:00
java-modules
libraries	Merge pull request #229207 from r-ryantm/auto-update/sqlcipher	2023-05-01 07:36:39 +03:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc	brev-cli: 0.6.217 -> 0.6.222	2023-04-30 08:54:44 +00:00
mobile
nim-packages
node-packages	nodePackages.@githubnext/github-copilot-cli: remove and alias to github-copilit-cli	2023-04-30 17:07:01 -07:00
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
python-modules	Merge pull request #229094 from r-ryantm/auto-update/ansible-lint	2023-05-01 07:33:37 +03:00
python2-modules
quickemu
r-modules	Merge pull request #226447 from savyajha/radian-wrapper-fix	2023-04-30 08:18:09 +10:00
rocm-modules/update-script
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #229112 from r-ryantm/auto-update/opengrok	2023-05-01 07:32:06 +03:00
web	Merge pull request #227905 from BKSalman/insomnia-fix	2023-04-30 11:46:16 +03:00