Difference for riscv64 in scenario src_unstable_main

From 2025-09-12 05:00:01 UTC
To 2025-09-13 05:00:02 UTC

[all] indicates a package with Architecture=all.

Old packages that became not installable

Package Version Short Explanation (click for details)
gcc-15-cross11unsatisfied dependency on gcc-15-source (>= 15.2.0-4~)
gnome-maps49.0-1unsatisfied dependency on libadwaita-1-dev (>= 1.8~alpha)
libadwaita-11.8~rc-2unsatisfied dependency on libgtk-4-dev (>= 4.19.4)
rust-gdk4-sys0.10.0-3unsatisfied dependency on libgtk-4-dev (>= 4.20)

Old packages that became installable

Package Version Short Explanation (click for details)
coq-deriving0.2.1-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coq-extructures0.5.0-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coq-interval4.11.1-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coq-quickchick2.1.0-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coq-reglang1.2.1-4unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coq-relation-algebra1.7.11-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coqeal2.1.0-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
coquelicot3.4.3-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-algebra-tactics1.2.4-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-analysis1.9.0-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-bigenough1.0.2-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-finmap2.1.0-3unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-multinomials2.3.0-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-real-closed2.0.2-1unsatisfied dependency on libcoq-hierarchy-builder-cngq2
mathcomp-zify1.5.0+2.0+8.16-4unsatisfied dependency on libcoq-hierarchy-builder-cngq2
nurpawiki1.2.4-4unsatisfied dependency on libcohttp-lwt-ocaml-dev-wsj26
ocaml-saturn1.0.0-2unsatisfied dependency on libqcheck-core-ocaml-dev-ak3w4
theme-d-intr0.20.1-1unsatisfied dependency on theme-d-translator (>= 7.1.0)