Difference for ppc64el in scenario src_unstable_main

From 2024-12-19 05:00:01 UTC
To 2024-12-20 05:00:02 UTC

[all] indicates a package with Architecture=all.

New packages that are not installable

Package Version Short Explanation (click for details)
rust-symphonia-format-caf0.5.4-1unsatisfied dependency on librust-symphonia-core-0.5+default-dev (>= 0.5.4-~~) | librust-symphonia-core-0.5+default-dev (>= 0.5.4-~~)

Old packages that became installable

Package Version Short Explanation (click for details)
coq-deriving0.2.1-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
coq-extructures0.5.0-1unsatisfied dependency on libcoq-mathcomp-ssreflect-2v7x8
coq-interval4.11.1-1unsatisfied dependency on libcoq-mathcomp-ssreflect-2v7x8
coq-quickchick2.0.5-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
coq-reglang1.2.1-4unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
coq-relation-algebra1.7.11-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
coqeal2.0.3-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
coquelicot3.4.2-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
libyaml0.2.5-1conflict between debhelper and dh-buildinfo
mathcomp-algebra-tactics1.2.3-4unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
mathcomp-analysis1.7.0-1unsatisfied dependency on libcoq-elpi-akvx9
mathcomp-bigenough1.0.1-14unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
mathcomp-finmap2.1.0-3unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
mathcomp-multinomials2.3.0-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
mathcomp-real-closed2.0.2-1unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
mathcomp-zify1.5.0+2.0+8.16-4unsatisfied dependency on libcoq-hierarchy-builder-u4fc7
ssreflect2.3.0-1unsatisfied dependency on libcoq-elpi-akvx9