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

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
44ocaml-nox:armhf
1dh-ocaml:armhf (>= 0.9.5~)
1ocaml-nox:armhf (>= 4.05)

Conflict

# of packages per conflictConflict
28binutils:armhf
28gcc:amd64
26libcoq-ocaml:armhf
3cpp-12:armhf
3cpp:amd64
3gcc-12:armhf
2binutils-x86-64-linux-gnu:armhf

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
44 40src:coq-bignums src:coq-corn src:coq-deriving src:coq-dpdgraph src:coq-elpi src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-hammer 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:coq-unimath src:coqeal src:coqprime src:coquelicot src:flocq src:mathcomp-abel 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 src:prooftree(*)coq ocaml-nox:armhf
2src:aac-tactics src:coq-reduction-effects(*)coq
1src:coq-gappa(*)libcoq-core-ocaml-devcoq
1src:ssreflect(*)coq
1 1src:coq(*) dh-ocaml:armhf (>= 0.9.5~)
1 1src:coq(*) ocaml-nox:armhf (>= 4.05)

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
28 26src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures 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:paramcoq(*)libcoq-core-ocaml-devocamlbinutils(*)debhelperdpkg-devbinutils binutils:armhf
1src:aac-tactics(*)libcoq-core-ocaml-devocamlbinutils(*)debhelperdpkg-devbinutils
1src:coq(*)ocamlbinutils(*)debhelperdpkg-devbinutils
28 26src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures 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:paramcoq(*)build-essentialgcc(*)libcoq-core-ocaml-devocamlgcc gcc:amd64
1src:aac-tactics(*)build-essentialgcc(*)libcoq-core-ocaml-devocamlgcc
1src:coq(*)build-essentialgcc(*)ocamlgcc
26 18src:coq-bignums src:coq-corn src:coq-ext-lib src:coq-hammer src:coq-hott src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:flocq src:paramcoq(*)coqlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml libcoq-ocaml:armhf
7src:coq-deriving src:coq-extructures src:coq-interval src:coq-quickchick src:coq-reglang src:coq-relation-algebra src:coquelicot(*)libcoq-mathcomp-ssreflectlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml
1src:coq-reduction-effects(*)coqlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml
3 2src:caml-crush src:coq(*)ocamlgccgcc-12cpp-12(*)build-essentialgcccppcpp-12 cpp-12:armhf
1src:aac-tactics(*)libcoq-core-ocaml-devocamlgccgcc-12cpp-12(*)build-essentialgcccppcpp-12
3 2src:caml-crush src:coq(*)build-essentialgcccpp(*)ocamlgcccpp cpp:amd64
1src:aac-tactics(*)build-essentialgcccpp(*)libcoq-core-ocaml-devocamlgcccpp
3 2src:caml-crush src:coq(*)ocamlgccgcc-12(*)build-essentialgccgcc-12 gcc-12:armhf
1src:aac-tactics(*)libcoq-core-ocaml-devocamlgccgcc-12(*)build-essentialgccgcc-12
2 1src:aac-tactics(*)libcoq-core-ocaml-devocamlbinutilsbinutils-x86-64-linux-gnu(*)debhelperdpkg-devbinutilsbinutils-x86-64-linux-gnu binutils-x86-64-linux-gnu:armhf
1src:coq(*)ocamlbinutilsbinutils-x86-64-linux-gnu(*)debhelperdpkg-devbinutilsbinutils-x86-64-linux-gnu

src:coq

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
27coq:armhf (= 8.15.0+dfsg-1+b1)

Conflict

# of packages per conflictConflict
27binutils-x86-64-linux-gnu:armhf
27cpp-12:armhf
27cpp:amd64
27gcc-12:armhf
26libcoq-ocaml:armhf
1binutils:armhf
1gcc: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
27 27src:coq-bignums src:coq-corn src:coq-deriving 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:paramcoq(*)libcoq-ocaml-dev coq:armhf (= 8.15.0+dfsg-1+b1)

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
27 27src:coq-bignums src:coq-corn src:coq-deriving 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:paramcoq(*)libcoq-ocaml-devocamlbinutilsbinutils-x86-64-linux-gnu(*)debhelperdpkg-devbinutilsbinutils-x86-64-linux-gnu binutils-x86-64-linux-gnu:armhf
27 27src:coq-bignums src:coq-corn src:coq-deriving 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:paramcoq(*)libcoq-ocaml-devocamlgccgcc-12cpp-12(*)build-essentialgcccppcpp-12 cpp-12:armhf
27 27src:coq-bignums src:coq-corn src:coq-deriving 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:paramcoq(*)build-essentialgcccpp(*)libcoq-ocaml-devocamlgcccpp cpp:amd64
27 27src:coq-bignums src:coq-corn src:coq-deriving 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:paramcoq(*)libcoq-ocaml-devocamlgccgcc-12(*)build-essentialgccgcc-12 gcc-12:armhf
26 18src:coq-bignums src:coq-corn src:coq-ext-lib src:coq-hammer src:coq-hott src:coq-iris src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-simple-io src:coq-stdpp src:coq-unicoq (ITP: #1014989) src:coq-unimath src:coqeal src:flocq src:paramcoq(*)coqlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml libcoq-ocaml:armhf
7src:coq-deriving src:coq-extructures src:coq-interval src:coq-quickchick src:coq-reglang src:coq-relation-algebra src:coquelicot(*)libcoq-mathcomp-ssreflectlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml
1src:coq-reduction-effects(*)coqlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml
1 1src:coq-gappa(*)libcoq-ocaml-devocamlbinutils(*)debhelperdpkg-devbinutils binutils:armhf
1 1src:coq-gappa(*)build-essentialgcc(*)libcoq-ocaml-devocamlgcc gcc:amd64

generated: 20230116T000000Z


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.