Difference for s390x in scenario src_unstable_main

From 2025-12-28 05:00:01 UTC
To 2025-12-29 05:00:01 UTC

[all] indicates a package with Architecture=all.

Old packages that became not installable

Package Version Short Explanation (click for details)
orange-spectroscopy[all] 0.8.1+git20250328-5unsatisfied dependency on python3-baycomp
rust-kanata1.9.0-11unsatisfied dependency on librust-dirs+default-dev (>= 5.0.2-~~) | librust-dirs+default-dev (>= 5.0.2-~~)

Old packages that became installable

Package Version Short Explanation (click for details)
coq-corn8.20.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-deriving0.2.1-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-elpi2.5.0-1.2unsatisfied dependency on libppx-deriving-ocaml-tvsp5
coq-equations1.3.1-8.20-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-extructures0.5.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-gappa1.7.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-hierarchy-builder1.8.1-1unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
coq-interval4.11.1-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-iris4.3.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-math-classes8.19.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-mtac21.4+8.20-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-quickchick2.1.0-1.1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-reglang1.2.1-4unsatisfied dependency on libcoq-stdlib-8jeh0
coq-relation-algebra1.7.11-1unsatisfied dependency on libcoq-stdlib-8jeh0
coq-simple-io1.11.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coqeal2.1.0-1unsatisfied dependency on libcoq-stdlib-8jeh0
coqprime8.20.1-1unsatisfied dependency on libcoq-stdlib-8jeh0
coquelicot3.4.3-1unsatisfied dependency on libcoq-stdlib-8jeh0
hddemux0.5-1.1unsatisfied dependency on nginx-abi-1.28.0-1
hxtools20251011-1unsatisfied dependency on libhx-dev (>= 5.1)
libnginx-mod-http-lua1:0.10.29-1unsatisfied dependency on nginx-abi-1.28.0-1
libnginx-mod-http-modsecurity1.0.3-2unsatisfied dependency on nginx-abi-1.28.0-1
libnginx-mod-http-set-misc0.33-7unsatisfied dependency on nginx-abi-1.28.0-1
libnginx-mod-http-srcache-filter0.33-5unsatisfied dependency on nginx-abi-1.28.0-1
mathcomp-algebra-tactics1.2.4-1unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
mathcomp-analysis1.9.0-1unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
mathcomp-bigenough1.0.2-1unsatisfied dependency on libcoq-stdlib-8jeh0
mathcomp-finmap2.1.0-3unsatisfied dependency on libcoq-stdlib-8jeh0
mathcomp-multinomials2.3.0-1unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
mathcomp-real-closed2.0.2-1unsatisfied dependency on libcoq-stdlib-8jeh0
mathcomp-zify1.5.0+2.0+8.16-4unsatisfied dependency on libcoq-stdlib-8jeh0
ssreflect2.3.0-1unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9