Weijia Wang a006fad982 Merge pull request #264154 from r-ryantm/auto-update/ocamlPackages.ocaml-version ... ocamlPackages.ocaml-version: 3.6.1 -> 3.6.2		2023-12-06 21:00:23 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	yosys: 0.35 -> 0.36	2023-12-06 08:55:21 -06:00
coq-modules	coqPackages_8_16: fix evaluation with math-comp ≥ 2.0	2023-12-05 06:56:28 +01:00
dhall-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
hare-packages/hare-json
haskell-modules	Merge pull request #270705 from zeuner/csound-expression-dynamic	2023-12-06 11:44:48 +01:00
idris-modules
interpreters	elixir: rename erlangPackage option to erlang	2023-12-06 19:13:38 +00:00
java-modules
libraries	Merge pull request #263290 from r-ryantm/auto-update/cryptopp	2023-12-06 20:40:00 +01:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc
mobile
node-packages	wrangler: support darwin and arm64	2023-12-05 08:46:13 +01:00
ocaml-modules	Merge pull request #264154 from r-ryantm/auto-update/ocamlPackages.ocaml-version	2023-12-06 21:00:23 +01:00
octave-modules
perl-modules
pharo
php-packages	Merge pull request #268098 from gaelreyrol/php-extensions-spx-extension-name	2023-12-05 23:57:24 +01:00
python2-modules
python-modules	Merge pull request #272531 from JamieMagee/miele	2023-12-06 20:34:17 +01:00
quickemu
r-modules
rocm-modules/5
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #272468 from r-ryantm/auto-update/cargo-hack	2023-12-06 10:10:49 -05:00
web	Merge pull request #271362 from pbsds/rm-dead-patches	2023-12-06 03:28:15 +01:00