Difference for each architecture 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 Architectures Short Explanation (click for details)
rust-kanata 1.9.0-11 amd64 arm64 armhf i386 ppc64el riscv64 s390x unsatisfied dependency on librust-dirs+default-dev (>= 5.0.2-~~) | librust-dirs+default-dev (>= 5.0.2-~~)
1.9.0-11 loong64 unsatisfied dependency on librust-backtrace-0.3+default-dev (>= 0.3.51-~~)

Old packages that became installable

Package Version Architectures Short Explanation (click for details)
coq-corn 8.20.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
8.20.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
8.20.0-1 armhf i386 loong64 unsatisfied dependency on coq
8.20.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
8.20.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
8.20.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-deriving 0.2.1-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
0.2.1-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
0.2.1-1 armhf i386 loong64 unsatisfied dependency on coq
0.2.1-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
0.2.1-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
0.2.1-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-elpi 2.5.0-1.2 amd64 unsatisfied dependency on libppx-deriving-ocaml-n9q53
2.5.0-1.2 arm64 unsatisfied dependency on libppx-deriving-ocaml-rihn2
2.5.0-1.2 armhf i386 loong64 unsatisfied dependency on coq
2.5.0-1.2 ppc64el unsatisfied dependency on libppx-deriving-ocaml-bcbj6
2.5.0-1.2 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.5.0-1.2 s390x unsatisfied dependency on libppx-deriving-ocaml-tvsp5
coq-equations 1.3.1-8.20-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.3.1-8.20-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.3.1-8.20-1 armhf i386 loong64 unsatisfied dependency on coq
1.3.1-8.20-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.3.1-8.20-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.3.1-8.20-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-extructures 0.5.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
0.5.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
0.5.0-1 armhf i386 loong64 unsatisfied dependency on coq
0.5.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
0.5.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
0.5.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-gappa 1.7.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.7.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.7.0-1 armhf i386 loong64 unsatisfied dependency on libcoq-flocq
1.7.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.7.0-1 riscv64 unsatisfied dependency on libcompiler-libs-ocaml-dev-tq1n2
1.7.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-hierarchy-builder 1.8.1-1 amd64 unsatisfied dependency on libcompiler-libs-ocaml-dev-4b6d0
1.8.1-1 arm64 unsatisfied dependency on libcompiler-libs-ocaml-dev-gxzm3
1.8.1-1 armhf i386 loong64 unsatisfied dependency on coq
1.8.1-1 ppc64el unsatisfied dependency on libcompiler-libs-ocaml-dev-i4v37
1.8.1-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.8.1-1 s390x unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
coq-interval 4.11.1-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
4.11.1-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
4.11.1-1 armhf i386 loong64 unsatisfied dependency on coq
4.11.1-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
4.11.1-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
4.11.1-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-iris 4.3.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
4.3.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
4.3.0-1 armhf i386 loong64 unsatisfied dependency on coq (>= 8.18)
4.3.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
4.3.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
4.3.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-math-classes 8.19.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
8.19.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
8.19.0-1 armhf i386 loong64 unsatisfied dependency on coq
8.19.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
8.19.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
8.19.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-mtac2 1.4+8.20-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.4+8.20-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.4+8.20-1 armhf i386 loong64 unsatisfied dependency on coq
1.4+8.20-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.4+8.20-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.4+8.20-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-quickchick 2.1.0-1.1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
2.1.0-1.1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
2.1.0-1.1 armhf i386 loong64 unsatisfied dependency on coq
2.1.0-1.1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
2.1.0-1.1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.1.0-1.1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-reglang 1.2.1-4 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.2.1-4 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.2.1-4 armhf i386 loong64 unsatisfied dependency on coq
1.2.1-4 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.2.1-4 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.2.1-4 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-relation-algebra 1.7.11-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.7.11-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.7.11-1 armhf i386 loong64 unsatisfied dependency on coq (>= 8.18)
1.7.11-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.7.11-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.7.11-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coq-simple-io 1.11.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.11.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.11.0-1 armhf i386 loong64 unsatisfied dependency on coq
1.11.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.11.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.11.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coqeal 2.1.0-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
2.1.0-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
2.1.0-1 armhf i386 loong64 unsatisfied dependency on coq (>= 1.17)
2.1.0-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
2.1.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.1.0-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coqprime 8.20.1-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
8.20.1-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
8.20.1-1 armhf i386 loong64 unsatisfied dependency on coq
8.20.1-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
8.20.1-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
8.20.1-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
coquelicot 3.4.3-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
3.4.3-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
3.4.3-1 armhf i386 loong64 unsatisfied dependency on coq
3.4.3-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
3.4.3-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
3.4.3-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
hxtools 20251011-1 amd64 arm64 armhf i386 loong64 ppc64el riscv64 s390x unsatisfied dependency on libhx-dev (>= 5.1)
libnginx-mod-http-lua 1:0.10.29-1 amd64 arm64 armhf i386 riscv64 s390x unsatisfied dependency on nginx-abi-1.28.0-1
1:0.10.29-1 loong64 unsatisfied dependency on libgd-dev
libnginx-mod-http-modsecurity 1.0.3-2 amd64 arm64 armhf i386 ppc64el riscv64 s390x unsatisfied dependency on nginx-abi-1.28.0-1
1.0.3-2 loong64 unsatisfied dependency on libnginx-mod-http-ndk (< 1:0.3.4-4.1~)
libnginx-mod-http-set-misc 0.33-7 amd64 arm64 armhf i386 ppc64el riscv64 s390x unsatisfied dependency on nginx-abi-1.28.0-1
0.33-7 loong64 unsatisfied dependency on libgd-dev
libnginx-mod-http-srcache-filter 0.33-5 amd64 arm64 armhf i386 ppc64el riscv64 s390x unsatisfied dependency on nginx-abi-1.28.0-1
0.33-5 loong64 unsatisfied dependency on libgd-dev
mathcomp-algebra-tactics 1.2.4-1 amd64 unsatisfied dependency on libcompiler-libs-ocaml-dev-4b6d0
1.2.4-1 arm64 unsatisfied dependency on libcompiler-libs-ocaml-dev-gxzm3
1.2.4-1 armhf i386 loong64 unsatisfied dependency on coq
1.2.4-1 ppc64el unsatisfied dependency on libcompiler-libs-ocaml-dev-i4v37
1.2.4-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.2.4-1 s390x unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
mathcomp-analysis 1.9.0-1 amd64 unsatisfied dependency on libcompiler-libs-ocaml-dev-4b6d0
1.9.0-1 arm64 unsatisfied dependency on libcompiler-libs-ocaml-dev-gxzm3
1.9.0-1 armhf i386 loong64 unsatisfied dependency on coq
1.9.0-1 ppc64el unsatisfied dependency on libcompiler-libs-ocaml-dev-i4v37
1.9.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.9.0-1 s390x unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
mathcomp-bigenough 1.0.2-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.0.2-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.0.2-1 armhf i386 loong64 unsatisfied dependency on coq
1.0.2-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.0.2-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.0.2-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
mathcomp-finmap 2.1.0-3 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
2.1.0-3 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
2.1.0-3 armhf i386 loong64 unsatisfied dependency on coq
2.1.0-3 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
2.1.0-3 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.1.0-3 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
mathcomp-multinomials 2.3.0-1 amd64 unsatisfied dependency on libcompiler-libs-ocaml-dev-4b6d0
2.3.0-1 arm64 unsatisfied dependency on libcompiler-libs-ocaml-dev-gxzm3
2.3.0-1 armhf i386 loong64 unsatisfied dependency on coq
2.3.0-1 ppc64el unsatisfied dependency on libcompiler-libs-ocaml-dev-i4v37
2.3.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.3.0-1 s390x unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9
mathcomp-real-closed 2.0.2-1 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
2.0.2-1 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
2.0.2-1 armhf i386 loong64 unsatisfied dependency on coq
2.0.2-1 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
2.0.2-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.0.2-1 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
mathcomp-zify 1.5.0+2.0+8.16-4 amd64 unsatisfied dependency on libcoq-stdlib-68yx1
1.5.0+2.0+8.16-4 arm64 unsatisfied dependency on libcoq-stdlib-1ns11
1.5.0+2.0+8.16-4 armhf i386 loong64 unsatisfied dependency on coq
1.5.0+2.0+8.16-4 ppc64el unsatisfied dependency on libcoq-stdlib-q0rh7
1.5.0+2.0+8.16-4 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
1.5.0+2.0+8.16-4 s390x unsatisfied dependency on libcoq-stdlib-8jeh0
ssreflect 2.3.0-1 amd64 unsatisfied dependency on libcompiler-libs-ocaml-dev-4b6d0
2.3.0-1 arm64 unsatisfied dependency on libcompiler-libs-ocaml-dev-gxzm3
2.3.0-1 armhf i386 loong64 unsatisfied dependency on coq (>= 8.11)
2.3.0-1 ppc64el unsatisfied dependency on libcompiler-libs-ocaml-dev-i4v37
2.3.0-1 riscv64 unsatisfied dependency on libfindlib-ocaml-eitb4
2.3.0-1 s390x unsatisfied dependency on libcompiler-libs-ocaml-dev-volk9