Packages not installable on mips64el in scenario src_testing_main for 64 days

Date: 2025-01-06 05:00:01 UTC

Packages that have been continuously found to be not installable (not necessarily in the same version, and not necessarily with the same explanation all the time).

[all] indicates a package with Architecture=all.

Package Since Version today Short explanation as of today (click for details) Tracking
aac-tactics 2024-09-05 8.20.0-1unsatisfied dependency on coq (>= 8.17)
ants 2024-09-09 2.4.3+dfsg-1unsatisfied dependency on libinsighttoolkit5-dev
cecil 2024-09-09 [all] 0.9.6+dfsg-1unsatisfied dependency on mono-utils (>= 4.4~) | cil-disassembler
coq 2024-09-05 8.20.0+dfsg-1unsatisfied dependency on ocaml-native-compilers
coq-bignums 2024-09-05 9.0.0+coq8.20-1unsatisfied dependency on coq
coq-corn 2024-09-05 8.19.0+ds1-2unsatisfied dependency on coq
coq-deriving 2024-09-06 0.2.1-1unsatisfied dependency on coq
coq-dpdgraph 2024-09-05 1.0+8.20-1unsatisfied dependency on coq (>= 8.18)
coq-elpi 2024-09-06 2.3.0-1unsatisfied dependency on coq
coq-equations 2024-09-05 1.3.1-8.20-1unsatisfied dependency on coq
coq-ext-lib 2024-09-05 0.12.2-1unsatisfied dependency on coq
coq-extructures 2024-09-06 0.5.0-1unsatisfied dependency on coq
coq-gappa 2024-09-05 1.5.5-2unsatisfied dependency on libcoq-flocq
coq-hammer 2024-09-05 1.3.2+8.20-1unsatisfied dependency on coq (>= 8.17)
coq-hierarchy-builder 2024-09-06 1.8.0-1unsatisfied dependency on coq
coq-hott 2024-09-05 8.20-1unsatisfied dependency on coq
coq-interval 2024-09-06 4.11.1-1unsatisfied dependency on coq
coq-iris 2024-09-05 4.3.0-1unsatisfied dependency on coq (>= 8.18)
coq-libhyps 2024-09-05 2.0.8-4unsatisfied dependency on coq
coq-math-classes 2024-09-05 8.19.0-1unsatisfied dependency on coq
coq-menhirlib 2024-09-05 20240715+ds-1unsatisfied dependency on coq
coq-mtac2 2024-09-05 1.4+8.20-1unsatisfied dependency on coq
coq-quickchick 2024-09-06 2.0.5-1unsatisfied dependency on coq
coq-record-update 2024-09-05 0.3.4-4unsatisfied dependency on coq
coq-reduction-effects 2024-09-05 0.1.5-5unsatisfied dependency on coq (>= 8.18)
coq-reglang 2024-09-06 1.2.1-4unsatisfied dependency on coq
coq-relation-algebra 2024-09-06 1.7.11-1unsatisfied dependency on coq (>= 8.18)
coq-serapi 2024-09-05 8.20.0+0.20.0-1unsatisfied dependency on coq
coq-simple-io 2024-09-05 1.10.0-1unsatisfied dependency on coq
coq-stdpp 2024-09-05 1.11.0-1unsatisfied dependency on coq (>= 8.18)
coq-unicoq 2024-09-05 1.6-8.20-1unsatisfied dependency on coq (>= 8.18)
coq-unimath 2024-09-05 20240923-2unsatisfied dependency on coq (>= 8.17)
coqeal 2024-09-06 2.0.3-1unsatisfied dependency on coq (>= 1.17)
coqprime 2024-09-05 8.20-1unsatisfied dependency on coq
coquelicot 2024-09-06 3.4.2-1unsatisfied dependency on coq
dh-clojure 2024-10-12 [all] 0.2.0unsatisfied dependency on libnrepl-clojure (>= 1.0.0)
elpi 2024-09-06 2.0.5-1unsatisfied dependency on ocaml-native-compilers
flocq 2024-09-05 4.2.0-1unsatisfied dependency on coq
gpredict 2024-09-04 2.3-115-g0f3beb6-4unsatisfied dependency on libreoffice-writer-nogui
ideep 2024-09-16 [all] 0.0~git20240814.41d636c-1unsatisfied dependency on libdnnl-dev (>= 3.4.2~)
itkadaptivedenoising 2024-09-01 0.0+git20240907.9a7adca-1unsatisfied dependency on libinsighttoolkit5-dev
itkgenericlabelinterpolator 2024-09-01 1.2.1-2unsatisfied dependency on libinsighttoolkit5-dev
libhttp-nio-java 2024-10-14 [all] 1.1.1+dfsg-1unsatisfied dependency on libngs-java
mathcomp-algebra-tactics 2024-09-06 1.2.3-4unsatisfied dependency on coq
mathcomp-analysis 2024-09-06 1.8.0-1unsatisfied dependency on coq
mathcomp-bigenough 2024-09-06 1.0.1-14unsatisfied dependency on coq
mathcomp-finmap 2024-09-06 2.1.0-3unsatisfied dependency on coq
mathcomp-multinomials 2024-09-06 2.3.0-1unsatisfied dependency on coq
mathcomp-real-closed 2024-09-06 2.0.2-1unsatisfied dependency on coq
mathcomp-zify 2024-09-06 1.5.0+2.0+8.16-4unsatisfied dependency on coq
nabu 2024-10-10 [all] 2024.2.1-1unsatisfied dependency on pocl-opencl-icd
opensnitch 2024-09-19 1.5.8.1-2unsatisfied dependency on libbpfcc-dev
opentk 2024-09-09 [all] 1.1.4c+dfsg-2.2unsatisfied dependency on mono-runtime (>= 3.0~)
ott 2024-09-05 0.33+ds-4unsatisfied dependency on coq
paramcoq 2024-09-05 1.1.3+coq8.20-1unsatisfied dependency on coq
purify 2024-09-18 4.1.0-1unsatisfied dependency on casacore-dev
python-adb-shell 2024-10-27 [all] 0.4.4-2unsatisfied dependency on python3-libusb1 [#1086887]
repetier-host 2024-09-09 [all] 0.85+dfsg-5unsatisfied dependency on mono-utils (>= 4.4~) | cil-disassembler
rst2pdf 2024-10-29 [all] 0.102-2unsatisfied dependency on python3-fitz [#1088257]
rust-rustls-webpki 2024-10-18 [all] 0.101.7-3unsatisfied dependency on librust-base64-0.21+default-dev
sonic-pi 2024-11-03 3.2.2~repack-10unsatisfied dependency on sc3-plugins-server
ssreflect 2024-09-06 2.3.0-1unsatisfied dependency on coq (>= 8.11)