Lucie b965e4c283 rocqPackages.rocq-elpi: 2.5.1 -> 2.5.2

2025-05-16 18:34:47 +02:00

..

ada-modules

…

androidndk-pkgs

…

beam-modules

…

bower-modules/generic

…

compilers

Merge master into staging-next

2025-05-15 12:07:04 +00:00

coq-modules

coqPackages.HoTT: 8.20 -> 9.0

2025-05-15 10:09:38 +02:00

cuda-modules

…

dhall-modules

…

em-modules/generic

…

embedded

…

emilua-plugins

…

factor-vocabs/bresenham

…

gnuradio-modules

…

hare-third-party

…

haskell-modules

haskellPackages.sv2v: fix build and enable

2025-05-16 15:29:26 +02:00

idris-modules

…

interpreters

…

julia-modules

…

libraries

wfview: init at 2.10, {libsForQt5,kdePackages}.qcustomplot: init at 2.1.1 (#404699)

2025-05-16 21:37:32 +08:00

lisp-modules

…

lua-modules

stdenv.mkDerivation: warn when overriding version without also overriding src (#406535)

2025-05-15 23:33:34 -04:00

misc

…

mobile

…

node-packages

…

ocaml-modules

ocamlPackages.xenstore_transport: 1.3.0 -> 1.4.0 (#397450)

2025-05-16 10:55:28 +02:00

octave-modules

…

perl-modules

…

php-packages

phpPackages.phpstan: 2.1.14 -> 2.1.15

2025-05-16 07:08:06 +00:00

python2-modules

…

python-modules

python312Packages.mypy-boto3-*: updates (#407103)

2025-05-16 18:16:15 +02:00

r-modules

…

rocm-modules/6

…

rocq-modules

rocqPackages.rocq-elpi: 2.5.1 -> 2.5.2

2025-05-16 18:34:47 +02:00

ruby-modules

…

skaware-packages

…

tcl-modules

…

tools

Merge master into staging-next

2025-05-15 12:07:04 +00:00

web

…