Packages not installable on s390x in scenario src_unstable_main for 4 days

Date: 2024-05-03 05:00:02 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
coq-deriving 2024-04-27 0.2.0-2unsatisfied dependency on libcoq-stdlib-wsmp7
coq-extructures 2024-04-27 0.4.0-3unsatisfied dependency on libcoq-stdlib-wsmp7
coq-hierarchy-builder 2024-04-27 1.7.0-1unsatisfied dependency on libcoq-stdlib-wsmp7
coq-interval 2024-04-27 4.10.0-1unsatisfied dependency on libcoq-stdlib-wsmp7
coq-quickchick 2024-04-27 2.0.3-2unsatisfied dependency on libcoq-stdlib-wsmp7
coq-reglang 2024-04-27 1.2.1-3unsatisfied dependency on libcoq-stdlib-wsmp7
coq-relation-algebra 2024-04-27 1.7.10-3unsatisfied dependency on libcoq-stdlib-wsmp7
coqeal 2024-04-27 2.0.2-1unsatisfied dependency on libcoq-stdlib-wsmp7
coquelicot 2024-04-27 3.4.1-2unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-algebra-tactics 2024-04-27 1.2.3-3unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-analysis 2024-04-27 1.1.0-2unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-bigenough 2024-04-27 1.0.1-13unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-finmap 2024-04-27 2.1.0-1unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-multinomials 2024-04-27 2.2.0-2unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-real-closed 2024-04-27 2.0.0-2unsatisfied dependency on libcoq-stdlib-wsmp7
mathcomp-zify 2024-04-27 1.5.0+2.0+8.16-2unsatisfied dependency on libcoq-stdlib-wsmp7
ssreflect 2024-04-27 2.2.0-1unsatisfied dependency on libcoq-stdlib-wsmp7
subread 2024-04-26 2.0.6+dfsg-3unsatisfied dependency on architecture-is-little-endian