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

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.

Conflict

# of packages per conflictConflict
30binutils-x86-64-linux-gnu:amd64
30binutils:amd64
30cpp-14:armhf
30cpp:armhf
30gcc-14:armhf
25gcc: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 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 src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)debhelperdpkg-devbinutils(*)libcoq-core-ocaml-devocamlbinutils binutils: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 src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)libcoq-core-ocaml-devocamlgcccppcpp-14(*)build-essentialg++cppcpp-14 cpp-14: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 src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)libcoq-core-ocaml-devocamlgcccpp(*)build-essentialg++cpp 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 src:coq-unimath src:coqeal src:coquelicot src:flocq src:ott src:paramcoq(*)libcoq-core-ocaml-devocamlgccgcc-14(*)build-essentialg++gcc-14 gcc-14:armhf
25 25src: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-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 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 src:coq-unimath src:coqeal src:coquelicot src:flocq src:paramcoq(*)libcoq-core-ocaml-devocamlgcc(*)build-essentialgcc gcc:armhf

generated: 20241118T000000Z


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.