Difference for arm64 in scenario src_unstable_main
From 2025-10-29 05:00:01 UTCTo 2025-10-30 05:00:01 UTC
[all] indicates a package with Architecture=all.
Old packages that became not installable
| Package | Version | Short Explanation (click for details) | |
|---|---|---|---|
| ser2net | 4.6.5-1 | unsatisfied dependency on libgensio-dev (>= 3.0.0) |
Old packages that became installable
| Package | Version | Short Explanation (click for details) | |
|---|---|---|---|
| coq-extructures | 0.5.0-1 | unsatisfied dependency on libcoq-mathcomp-ssreflect-0ot95 | |
| coq-interval | 4.11.1-1 | unsatisfied dependency on libcoq-mathcomp-ssreflect-0ot95 | |
| coqeal | 2.1.0-1 | unsatisfied dependency on libcoq-mathcomp-algebra-s1gg0 | |
| golang-github-alexflint-go-arg | [all] 1.6.0-1 | unsatisfied dependency on golang-github-alexflint-go-scalar-dev (>= 1.2.0-1~) | |
| mathcomp-algebra-tactics | 1.2.4-1 | unsatisfied dependency on libcoq-mathcomp-algebra-s1gg0 | |
| mathcomp-analysis | 1.9.0-1 | unsatisfied dependency on libcoq-mathcomp-ssreflect-0ot95 | |
| mathcomp-multinomials | 2.3.0-1 | unsatisfied dependency on libcoq-mathcomp-ssreflect-0ot95 | |
| mathcomp-real-closed | 2.0.2-1 | unsatisfied dependency on libcoq-mathcomp-ssreflect-0ot95 | |
| openjdk-26 | 26~21ea-1 | unsatisfied dependency on jtreg8 (>= 8.1+1~) |