Difference for riscv64 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)
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)
aac-tactics8.20.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
belenios3.0+dfsg-2unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
coq-bignums9.0.0+coq8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-corn8.20.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-deriving0.2.1-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-dpdgraph1.0+8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-elpi2.5.0-1.2unsatisfied dependency on libfindlib-ocaml-eitb4
coq-equations1.3.1-8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-ext-lib0.13.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-extructures0.5.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-gappa1.7.0-1unsatisfied dependency on libcompiler-libs-ocaml-dev-tq1n2
coq-hammer1.3.2+8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-hierarchy-builder1.8.1-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-hott9.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-interval4.11.1-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-iris4.3.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-libhyps2.0.8-4unsatisfied dependency on libfindlib-ocaml-eitb4
coq-math-classes8.19.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-menhirlib20240715+ds-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-mtac21.4+8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-quickchick2.1.0-1.1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-record-update0.3.4-4unsatisfied dependency on libfindlib-ocaml-eitb4
coq-reduction-effects0.1.5-5unsatisfied dependency on libfindlib-ocaml-eitb4
coq-reglang1.2.1-4unsatisfied dependency on libfindlib-ocaml-eitb4
coq-relation-algebra1.7.11-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-simple-io1.11.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-stdpp1.11.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-unicoq1.6-8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
coq-unimath20240923-2unsatisfied dependency on libfindlib-ocaml-eitb4
coqeal2.1.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
coqprime8.20.1-1unsatisfied dependency on libfindlib-ocaml-eitb4
coquelicot3.4.3-1unsatisfied dependency on libfindlib-ocaml-eitb4
eliom11.1.1-5unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
flocq4.2.1-1unsatisfied dependency on libfindlib-ocaml-eitb4
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 libfindlib-ocaml-eitb4
mathcomp-analysis1.9.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
mathcomp-bigenough1.0.2-1unsatisfied dependency on libfindlib-ocaml-eitb4
mathcomp-finmap2.1.0-3unsatisfied dependency on libfindlib-ocaml-eitb4
mathcomp-multinomials2.3.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
mathcomp-real-closed2.0.2-1unsatisfied dependency on libfindlib-ocaml-eitb4
mathcomp-zify1.5.0+2.0+8.16-4unsatisfied dependency on libfindlib-ocaml-eitb4
nurpawiki1.2.4-4unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
ocaml-ca-certs1.0.1-1unsatisfied dependency on libasn1-combinators-ocaml-dev-mwgc5
ocaml-cohttp5.3.0-2unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
ocaml-conduit7.1.0-1unsatisfied dependency on libasn1-combinators-ocaml-dev-mwgc5
ocaml-eio1.3-2unsatisfied dependency on libcontainers-ocaml-dev-79cq3
ocaml-multicore-bench0.1.7-1unsatisfied dependency on libstdlib-ocaml-dev-m4xw9
ocaml-multicore-magic2.3.1-3unsatisfied dependency on libcontainers-ocaml-dev-79cq3
ocaml-saturn1.0.0-2unsatisfied dependency on libcontainers-ocaml-dev-79cq3
ocaml-websocket2.17-1unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
ocaml-x5091.0.6-1unsatisfied dependency on libdigestif-ocaml-dev-f6yo7
ocsigenserver6.0.0-1unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
ocsipersist2.0.0-1unsatisfied dependency on libangstrom-ocaml-dev-t3dv4
ott0.34+ds-1unsatisfied dependency on libfindlib-ocaml-eitb4
paramcoq1.1.3+coq8.20-1unsatisfied dependency on libfindlib-ocaml-eitb4
ssreflect2.3.0-1unsatisfied dependency on libfindlib-ocaml-eitb4
virt-v2v2.6.0-2unsatisfied dependency on libstdlib-ocaml-dev-m4xw9