Difference for riscv64 in scenario 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)
gnome1:49+3.1unsatisfied dependency on gir1.2-adw-1 (>= 1.8~alpha)
gnome-core1:49+3.1unsatisfied dependency on gir1.2-adw-1 (>= 1.8~alpha)
live-task-gnome[all] 13.0.4unsatisfied dependency on gir1.2-adw-1 (>= 1.8~alpha)
reform-desktop-full[all] 1.78-1unsatisfied dependency on gir1.2-adw-1 (>= 1.8~alpha)
showtime[all] 49~rc-1unsatisfied dependency on gir1.2-adw-1 (>= 1.8~alpha)
task-gnome-desktop[all] 3.82unsatisfied dependency on gir1.2-adw-1 (>= 1.8~alpha)

Old packages that became installable

Package Version Short Explanation (click for details)
eliom11.1.1-2+b9unsatisfied dependency on libcohttp-lwt-ocaml-dev-wsj26
libcoq-coqeal2.1.0-1+b2unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-coquelicot3.4.3-1+b4unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-deriving0.2.1-1+b8unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-extructures0.5.0-1+b8unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-interval4.11.1-1+b8unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-algebra2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-algebra-tactics1.2.4-1+b5unsatisfied dependency on libcoq-elpi-9jb83
libcoq-mathcomp-bigenough1.0.2-1+b4unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-character2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-field2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-fingroup2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-finmap2.1.0-3+b8unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-multinomials2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-real-closed2.0.2-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-solvable2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-ssreflect2.3.0-1+b7unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-mathcomp-zify1.5.0+2.0+8.16-4+b8unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-quickchick2.1.0-1+b2unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-reglang1.2.1-4+b14unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libcoq-relation-algebra1.7.11-1+b8unsatisfied dependency on libcoq-hierarchy-builder-cngq2
libeliom-ocaml-dev11.1.1-2+b9unsatisfied dependency on libcohttp-lwt-ocaml-dev-wsj26
libmulticoretests-ocaml-dev0.9-1unsatisfied dependency on libqcheck-core-ocaml-dev-ak3w4
libqcheck-lin-ocaml-dev0.9-1unsatisfied dependency on libqcheck-core-ocaml-dev-ak3w4
libqcheck-multicoretests-util-ocaml-dev0.9-1unsatisfied dependency on libqcheck-core-ocaml-dev-ak3w4
libqcheck-stm-ocaml-dev0.9-1unsatisfied dependency on libqcheck-core-ocaml-dev-ak3w4
nurpawiki1.2.4-4+b28unsatisfied dependency on libcohttp-lwt-ocaml-dev-wsj26