Vincent Laporte e8083f3021 coqPackages.coq-elpi: 1.17.0 → 1.18.0		2023-08-29 06:47:28 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #252008 from hraban/sbcl-2.3.8	2023-08-28 20:06:22 +00:00
coq-modules	coqPackages.coq-elpi: 1.17.0 → 1.18.0	2023-08-29 06:47:28 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded	stm32cubemx: 6.8.1 -> 6.9.1	2023-08-25 17:37:52 +00:00
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	Merge branch 'master' into staging-next	2023-08-26 16:08:02 -07:00
java-modules
libraries	tdlib: 1.8.10 -> 1.8.16	2023-08-29 03:07:45 +00:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc	gokrazy: init at unstable-2023-08-12	2023-08-26 10:57:53 -04:00
mobile
nim-packages
node-packages
ocaml-modules	coqPackages_8_14.coq-elpi: fix by using old camlp5	2023-08-28 07:36:16 +02:00
octave-modules
perl-modules
pharo
php-packages	phpExtensions.opentelemetry: init at 1.0.0beta6	2023-08-26 10:14:07 +02:00
python-modules	Merge pull request #252070 from kira-bruneau/python3Packages.debugpy	2023-08-28 23:19:11 -04:00
python2-modules
quickemu
r-modules
rocm-modules/update-script
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	worker-build: newline for Cargo.lock	2023-08-29 12:47:10 +08:00
web	Merge pull request #246551 from pietdevries94/playwright-update	2023-08-28 14:31:11 +09:00