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:coqeal

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

Conflict

# of packages per conflictConflict
27binutils-x86-64-linux-gnu:amd64
27cpp-12:amd64
27cpp:amd64
27gcc-12:armhf
26binutils:amd64
26gcc:armhf
25libcoq-ocaml: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
300 300src:aac-tactics src:advi src:alt-ergo src:approx (RFA: #948603) src:belenios src:ben src:bibtex2html src:bin-prot src:botch src:calendar src:camlbz2 src:camlidl src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp4 src:camlp5 src:camlpdf src:camlzip src:cmdliner src:coinst src: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-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:coqprime src:coquelicot src:cothreads src:cppo (RFA: #933912) src:cryptokit src:dose3 src:easy-format src:eliom src:elpi (RM: #1023320) src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:flocq src:freetennis src:haxe src:headache src:hevea src:hol-light src:janest-base src:janest-ocaml-compiler-libs src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:lablgtk-extras src:lablgtk2 src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:libguestfs src:libnbd src:llvm-toolchain-11 (RM: #1000941) src:llvm-toolchain-13 (RM: #1017679) src:llvm-toolchain-14 src:llvm-toolchain-15 src:llvm-toolchain-9 src:llvm-toolchain-snapshot src:lwt src:lwt-log src:lwt-ssl 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:mcl src:menhir src:mldonkey src:mlgmp src:mlpcap src:mlpost src:morbig src:morsmall src:mysql-ocaml src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-cpu src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-domain-name src:ocaml-dssi src:ocaml-dune src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-gmap src:ocaml-graphics src:ocaml-gstreamer src:ocaml-hex src:ocaml-hmap src:ocaml-http (RFA: #717787) src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-ipaddr src:ocaml-ladspa src:ocaml-lame src:ocaml-libvirt src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-mccs src:ocaml-melt src:ocaml-mew src:ocaml-mew-vi src:ocaml-migrate-parsetree src:ocaml-mirage-crypto src:ocaml-mm src:ocaml-mmap src:ocaml-mtime src:ocaml-num src:ocaml-obuild src:ocaml-odoc src:ocaml-odoc-parser src:ocaml-ogg src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-re src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stringext src:ocaml-taglib src:ocaml-theora src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocamlbuild src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlgsl (RFA: #784036) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlrss src:ocamlviz src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:opam-file-format src:otags src:ott src:ounit (ITA: #934213) src:pagodacf src:paramcoq src:parmap src:pcre-ocaml src:pgocaml src:planets src:plplot src:postgresql-ocaml src:pplacer src:ppx-bin-prot src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-fields-conv src:ppx-hash (ITP: #1019879) src:ppx-here src:ppx-import src:ppx-optcomp src:ppx-sexp-conv src:ppx-tools src:ppx-variants-conv src:ppxlib src:psmt2-frontend src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:supermin src:syslog-ocaml src:typerep src:tyxml src:ulex src:ulex0.8 src:unison-2.51+4.13.1 src:unison-2.52 src:utop src:uutf src:variantslib src:virt-top src:why3 src:zed src:zeroinstall-injector(*) dh-ocaml:armhf
40 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
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(*)build-essentialdpkg-devbinutilsbinutils-x86-64-linux-gnu(*)libcoq-ocaml-devocamlbinutilsbinutils-x86-64-linux-gnu binutils-x86-64-linux-gnu: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(*)build-essentialg++cppcpp-12(*)libcoq-ocaml-devocamlgccgcc-12cpp-12 cpp-12: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(*)build-essentialg++cpp(*)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-essentialg++gcc-12 gcc-12:armhf
26 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-essentialdpkg-devbinutils(*)libcoq-core-ocaml-devocamlbinutils binutils:amd64
26 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-devocamlgcc(*)build-essentialgcc gcc:armhf
25 25src: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-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(*)coqlibcoq-core-ocaml(*)libcoq-ocaml-devlibcoq-ocaml libcoq-ocaml:armhf

generated: 20221031T000000Z


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.