Below are two tables showing the two problem classes that prevent cross compilation on the dependency level. This example tries to satisfy the crossbuild dependencies of all source packages on amd64 as the build architecture for a dummy architecture generated from amd64 (called armhf here) as the host architecture in current Debian sid.

A machine parsable version can be retrieved in dose yaml format

Bugs are associated with packages on this page if they carry the usertag "cross-satisfiability" of the user "debian-cross@lists.debian.org".

You can get an overview of all bugs tagged like that in the Debian bts

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-extructures

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
34ocaml-nox:armhf

Conflict

# of packages per conflictConflict
30binutils-x86-64-linux-gnu:amd64
30binutils:armhf
30cpp-13:armhf
30cpp:armhf
30gcc-13:amd64
30gcc: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
34 34src:coq-bignums src:coq-corn src:coq-deriving src:coq-elpi src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-hierarchy-builder src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coqprime src:coquelicot src:flocq src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify src:ott src:paramcoq(*)coq ocaml-nox: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
30 30src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)debhelperdpkg-devbinutilsbinutils-x86-64-linux-gnu(*)libcoq-core-ocaml-devocamlbinutilsbinutils-x86-64-linux-gnu binutils-x86-64-linux-gnu:amd64
30 30src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)libcoq-core-ocaml-devocamlbinutils(*)debhelperdpkg-devbinutils binutils:armhf
30 30src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)libcoq-core-ocaml-devocamlgcccppcpp-13(*)build-essentialgccgcc-13cpp-13 cpp-13:armhf
30 30src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)libcoq-core-ocaml-devocamlgcccpp(*)build-essentialgcccpp cpp:armhf
30 30src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)build-essentialgccgcc-13(*)libcoq-core-ocaml-devocamlgccgcc-13 gcc-13:amd64
30 30src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)build-essentialgcc(*)libcoq-core-ocaml-devocamlgcc gcc:amd64

generated: 20231204T000000Z


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.