Packages not installable on mips64el in scenario src_testing_main for 128 days

Date: 2025-03-12 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.5.4+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.1+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.20.0-1unsatisfied 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.4.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.13.0-1unsatisfied dependency on coq
coq-extructures 2024-09-06 0.5.0-1unsatisfied dependency on coq
coq-gappa 2024-09-05 1.7.0-1unsatisfied 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.1-1unsatisfied dependency on coq
coq-hott 2024-09-05 9.0-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.1-1unsatisfied dependency on coq
coquelicot 2024-09-06 3.4.3-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.7-1unsatisfied dependency on ocaml-native-compilers
falkon 2024-08-28 24.12.2-1unsatisfied dependency on qt6-webengine-dev
fcitx5-varnam 2024-08-01 0.0.2-1unsatisfied dependency on libgovarnam-dev
flocq 2024-09-05 4.2.1-1unsatisfied dependency on coq
gpredict 2024-09-04 2.3-115-g0f3beb6-4unsatisfied dependency on libreoffice-writer-nogui
hunspell-kk 2024-07-26 [all] 1.1.2-2unsatisfied dependency on convert-bdic
ideep 2024-09-16 [all] 0.0~git20250115.9873ffc-2unsatisfied 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
mathcomp-algebra-tactics 2024-09-06 1.2.4-1unsatisfied dependency on coq
mathcomp-analysis 2024-09-06 1.9.0-1unsatisfied dependency on coq
mathcomp-bigenough 2024-09-06 1.0.2-1unsatisfied 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
minimac4 2024-08-31 4.1.6-1unsatisfied dependency on libstatgen-dev
opentk 2024-09-09 [all] 1.1.4c+dfsg-2.2unsatisfied dependency on mono-runtime (>= 3.0~)
ott 2024-09-05 0.34+ds-1unsatisfied dependency on coq
paramcoq 2024-09-05 1.1.3+coq8.20-1unsatisfied dependency on coq
plastimatch 2024-07-31 1.10.0+dfsg.1-1unsatisfied dependency on libinsighttoolkit5-dev
python-pyepics 2024-08-12 3.5.7+ds-1unsatisfied dependency on libca-dev
repetier-host 2024-09-09 [all] 0.85+dfsg-5unsatisfied dependency on mono-utils (>= 4.4~) | cil-disassembler
sight 2024-08-26 25.0.0-1unsatisfied dependency on binutils-gold
ssreflect 2024-09-06 2.3.0-1unsatisfied dependency on coq (>= 8.11)