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

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:armhf
30cpp-13:amd64
30cpp:amd64
30gcc-13:amd64
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-elpi src:coq-equations src:coq-ext-lib src:coq-extructures src:coq-hierarchy-builder src:coq-hott src:coq-interval 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-simple-io 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(*)build-essentialdpkg-devbinutilsbinutils-x86-64-linux-gnu(*)coqocamlbinutilsbinutils-x86-64-linux-gnu binutils-x86-64-linux-gnu:amd64
30 30src: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-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reglang src:coq-simple-io 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(*)coqocamlbinutils(*)build-essentialdpkg-devbinutils binutils:armhf
30 30src: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-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reglang src:coq-simple-io 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(*)build-essentialgcccppcpp-13(*)coqocamlgcccppcpp-13 cpp-13:amd64
30 30src: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-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reglang src:coq-simple-io 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(*)build-essentialgcccpp(*)coqocamlgcccpp cpp:amd64
30 30src: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-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-quickchick src:coq-record-update src:coq-reglang src:coq-simple-io 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(*)build-essentialgccgcc-13(*)coqocamlgccgcc-13 gcc-13:amd64
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: 20240226T000000Z


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.