Below are two tables showing the two problem classes that prevent installation of foreign architecture binaries

We try to install all binary packages from a dummy architecture generated from amd64 (called armhf here) on amd64.

A machine parsable version can be retrieved in dose yaml format

Hover over a package name with your cursor for architecture and version information. Hovering over the arrows in the depchain columns will show the dependency that led from one package in the chain to the next.

src:coq-corn

Top 10 summary

The following is a summary of the full "missing" and "conflict" tables below. It only shows the first and last columns of the full tables and only displays the top 10 rows.

Missing

# of packages per missingUnsatisfied dependency
20libcoq-stdlib-o9940:armhf
10libppx-deriving-ocaml-zr775:armhf
10libstdlib-ocaml-kjuo1:armhf
5libcompiler-libs-ocaml-dev-wpbc6:armhf
5libcoq-core-ocaml-dmxj4:armhf
5libmenhir-ocaml-dev-zqk95:armhf
5libppx-deriving-ocaml-dev-zr775:armhf
5libppxlib-ocaml-dev-w6xi7:armhf
5libre-ocaml-dev-f66b5:armhf
5libsexplib0-ocaml-brq84:armhf

Conflict

# of packages per conflictConflict
5binutils-x86-64-linux-gnu:amd64

missing

The packages in the third column cannot satisfy their (possibly transitive) dependencies because of the unsatisfied dependency in the last column. This is mostly because the binary package providing the dependency in the last column is Multi-Arch:no. Some of these packages need to be Multi-Arch:foreign instead. In some other cases, Build-Depends can be annotated with :native. The depchains column shows the dependency chain(s) from the packages in the third column to the unsatisfied dependency in the last column. The "(*)" placeholder in the depchains column represents any package in the third column. Hovering over the arrows in the depchains column with your cursor will show the dependency that led from one package in the chain to the next.

The output is first grouped by the shared unsatisfied dependency (last column) and then by shared dependency chain (fourth column). The groups are sorted by the number of packages missing the dependency in the last column. Within each group, the output is sorted by the number of packages sharing the same dependency chain.

# of packages per missing# of packages per depchainpackages with missing (possibly transitive) dependenciesDepchainsUnsatisfied dependency
20 15libcoq-coqeal libcoq-corn libcoq-deriving libcoq-elpi libcoq-extructures libcoq-interval libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect libcoq-quickchick libcoq-reglang libcoq-relation-algebra(*) libcoq-stdlib-o9940:armhf
5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpi
10 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-devlibelpi-ocaml libppx-deriving-ocaml-zr775:armhf
5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpi
10 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-devlibelpi-ocaml libstdlib-ocaml-kjuo1:armhf
5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpi
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libcompiler-libs-ocaml-dev-wpbc6:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpi libcoq-core-ocaml-dmxj4:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libmenhir-ocaml-dev-zqk95:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libppx-deriving-ocaml-dev-zr775:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libppxlib-ocaml-dev-w6xi7:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libre-ocaml-dev-f66b5:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-devlibelpi-ocaml libsexplib0-ocaml-brq84:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libsexplib0-ocaml-dev-brq84:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev libstdlib-ocaml-dev-kjuo1:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpi libzarith-ocaml-0x2c5:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-dev ocaml-5.4.0:armhf
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibelpi-ocaml-devlibelpi-ocaml ocaml-base-5.4.0:armhf
3 3libcoq-coqeal libcoq-corn libcoq-interval(*) libcoq-bignums-iri34:armhf
1 1libcoq-corn(*) libcoq-math-classes-w6tj3:armhf

conflict

The packages in the third column cannot satisfy their (possibly transitive) dependencies because the last package(s) in the first depchain have an unsatisfied conflict which is shown in the last column. The second depchain column shows the dependency chain(s) to the package which the last package(s) in the first depchain conflict with. Sometimes, multiple dependency chains sharing the same conflict exist. Hovering over the arrows in the depchains column with your cursor will show the dependency that led from one package in the chain to the next.

The output is first grouped by the shared conflicting dependency (last column) and then by the shared dependency chains (fourth and fifth column). The groups are sorted by the number of packages sharing the conflict in the last column. Within each group, the output is sorted by the number of packages sharing the same dependency chains.

# of packages per conflict# of packages per depchainpackages with (possibly transitive) conflicting dependenciesDepchain 1Depchain2Conflict
5 5libcoq-corn libcoq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis libcoq-mathcomp-classical(*)libcoq-elpilibcoq-core-ocaml-devocamlgccgcc-x86-64-linux-gnugcc-15-x86-64-linux-gnubinutils-x86-64-linux-gnu(*)libcoq-elpilibcoq-core-ocaml-devocamlbinutilsbinutils-x86-64-linux-gnu binutils-x86-64-linux-gnu:amd64

generated: 20260622T000000Z


The JSON data used to generate these pages was computed using botch, the bootstrap/build ordering tool chain. The source code of botch can be redistributed under the terms of the LGPL3+ with an OCaml linking exception. The source code can be retrieved from https://salsa.debian.org/debian-bootstrap-team/botch

The html pages were generated by code which can be retrieved from https://salsa.debian.org/debian-bootstrap-team/boott and which can be redistributed under the terms of the AGPL3+

For questions and bugreports please contact j [dot] schauer [at] email [dot] de.