Vincent Laporte 9d8a066fd4 coqPackages.ITree: 4.0.0 → 5.1.0		2023-03-15 09:14:01 +01:00
..
androidndk-pkgs
beam-modules	erlang-ls: fix build	2023-03-13 11:24:58 +00:00
bower-modules/generic
chez-modules
compilers	Merge pull request #221051 from r-ryantm/auto-update/p4c	2023-03-14 17:50:48 +01:00
coq-modules	coqPackages.ITree: 4.0.0 → 5.1.0	2023-03-15 09:14:01 +01:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules	haskellPackages: mark builds failing on hydra as broken	2023-03-13 11:24:50 +01:00
idris-modules
interpreters	Merge pull request #220630 from tricktron/f-bats-1.9.0	2023-03-14 22:25:40 +01:00
java-modules
libraries	Merge pull request #221154 from r-ryantm/auto-update/zchunk	2023-03-14 22:20:26 -03:00
lisp-modules
lisp-modules-new
lua-modules
misc	Merge pull request #220570 from Artturin/fixlints1	2023-03-14 02:15:55 +02:00
mobile
nim-packages	nimPackages.safeset: init at 0.1.1	2023-03-13 11:37:32 -05:00
node-packages
ocaml-modules	Merge pull request #220543 from vbgl/ocaml-duration-0.2.1	2023-03-14 21:25:48 -03:00
octave-modules
perl-modules
pharo
php-packages	phpExtensions.msgpack: init at 2.2.0RC2	2023-03-13 17:52:28 +01:00
python2-modules
python-modules	Merge pull request #221145 from marsam/update-jupyter-book	2023-03-15 01:54:32 -05:00
quickemu
r-modules
rocm-modules/update-script
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #221254 from r-ryantm/auto-update/konstraint	2023-03-15 13:07:52 +08:00
web	nodejs-19_x: 19.7.0 -> 19.8.0	2023-03-14 04:20:00 +00:00