Problems for source package why3

Binary Package: why3 (Version: 1.8.0-3)

Relationships

Package has a Depends on libstdlib-ocaml-bdrm4 which cannot be satisfied on mips64el.
Package has a Depends on libstdlib-ocaml-bdrm4 which cannot be satisfied on armhf.
Package has a Depends on libstdlib-ocaml-bdrm4 which cannot be satisfied on armel.
Package has a Depends on libstdlib-ocaml-bdrm4 which cannot be satisfied on i386.
Package has a Depends on liblablgtksourceview3-ocaml-gu9y1 which cannot be satisfied on s390x.
Package has a Depends on libzip-ocaml-3hpl7 which cannot be satisfied on mips64el.
Package has a Depends on libzip-ocaml-3hpl7 which cannot be satisfied on armel.
Package has a Depends on libzip-ocaml-3hpl7 which cannot be satisfied on armhf.
Package has a Depends on libzip-ocaml-3hpl7 which cannot be satisfied on i386.
Package has a Depends on zlib1g (>= 1:1.1.4) which cannot be satisfied on riscv64.
Package has a Depends on zlib1g (>= 1:1.1.4) which cannot be satisfied on arm64.
Package has a Depends on zlib1g (>= 1:1.1.4) which cannot be satisfied on ppc64el.
Package has a Depends on zlib1g (>= 1:1.1.4) which cannot be satisfied on amd64.
Package has a Depends on zlib1g (>= 1:1.1.4) which cannot be satisfied on s390x.
Package has a Depends on libgmp10 (>= 2:6.3.0+dfsg) which cannot be satisfied on ppc64el.
Package has a Depends on libgmp10 (>= 2:6.3.0+dfsg) which cannot be satisfied on riscv64.
Package has a Depends on libgmp10 (>= 2:6.3.0+dfsg) which cannot be satisfied on arm64.
Package has a Depends on libgmp10 (>= 2:6.3.0+dfsg) which cannot be satisfied on s390x.
Package has a Depends on libgmp10 (>= 2:6.3.0+dfsg) which cannot be satisfied on amd64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on mips64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on s390x.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on riscv64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armhf.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on arm64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on ppc64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on i386.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on amd64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armel.
Package has a Depends on libpango-1.0-0 (>= 1.14.0) which cannot be satisfied on s390x.
Package has a Depends on libpango-1.0-0 (>= 1.14.0) which cannot be satisfied on amd64.
Package has a Depends on libpango-1.0-0 (>= 1.14.0) which cannot be satisfied on ppc64el.
Package has a Depends on libpango-1.0-0 (>= 1.14.0) which cannot be satisfied on riscv64.
Package has a Depends on libpango-1.0-0 (>= 1.14.0) which cannot be satisfied on arm64.
Package has a Depends on libstdlib-ocaml-fxjy5 which cannot be satisfied on ppc64el.
Package has a Depends on libstdlib-ocaml-fxjy5 which cannot be satisfied on riscv64.
Package has a Depends on libstdlib-ocaml-fxjy5 which cannot be satisfied on arm64.
Package has a Depends on libstdlib-ocaml-fxjy5 which cannot be satisfied on amd64.
Package has a Depends on libstdlib-ocaml-ke4j9 which cannot be satisfied on s390x.
Package has a Depends on liblablgtksourceview3-ocaml-7e3l2 which cannot be satisfied on amd64.
Package has a Depends on liblablgtksourceview3-ocaml-7e3l2 which cannot be satisfied on arm64.
Package has a Depends on liblablgtksourceview3-ocaml-7e3l2 which cannot be satisfied on riscv64.
Package has a Depends on liblablgtksourceview3-ocaml-7e3l2 which cannot be satisfied on ppc64el.
Package has a Depends on libcairo2-ocaml-xxkq1 which cannot be satisfied on mips64el.
Package has a Depends on libcairo2-ocaml-xxkq1 which cannot be satisfied on armel.
Package has a Depends on libcairo2-ocaml-xxkq1 which cannot be satisfied on armhf.
Package has a Depends on libcairo2-ocaml-xxkq1 which cannot be satisfied on i386.
Package has a Depends on liblablgtksourceview3-ocaml-b8319 which cannot be satisfied on i386.
Package has a Depends on liblablgtksourceview3-ocaml-b8319 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtksourceview3-ocaml-b8319 which cannot be satisfied on armhf.
Package has a Depends on liblablgtksourceview3-ocaml-b8319 which cannot be satisfied on armel.
Package has a Depends on liblablgtk3-ocaml-285x5 which cannot be satisfied on armel.
Package has a Depends on liblablgtk3-ocaml-285x5 which cannot be satisfied on armhf.
Package has a Depends on liblablgtk3-ocaml-285x5 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtk3-ocaml-285x5 which cannot be satisfied on i386.
Package has a Depends on libgtk-3-0t64 (>= 3.11.5) which cannot be satisfied on s390x.
Package has a Depends on libgtk-3-0t64 (>= 3.11.5) which cannot be satisfied on amd64.
Package has a Depends on libgtk-3-0t64 (>= 3.11.5) which cannot be satisfied on ppc64el.
Package has a Depends on libgtk-3-0t64 (>= 3.11.5) which cannot be satisfied on arm64.
Package has a Depends on libgtk-3-0t64 (>= 3.11.5) which cannot be satisfied on riscv64.
Package has a Depends on libcairo2-ocaml-5gqq7 which cannot be satisfied on arm64.
Package has a Depends on libcairo2-ocaml-5gqq7 which cannot be satisfied on riscv64.
Package has a Depends on libcairo2-ocaml-5gqq7 which cannot be satisfied on ppc64el.
Package has a Depends on libcairo2-ocaml-5gqq7 which cannot be satisfied on amd64.
Package has a Depends on liblablgtk3-ocaml-636l7 which cannot be satisfied on s390x.
Package has a Depends on libcairo2 (>= 1.2.4) which cannot be satisfied on s390x.
Package has a Depends on libcairo2 (>= 1.2.4) which cannot be satisfied on amd64.
Package has a Depends on libcairo2 (>= 1.2.4) which cannot be satisfied on ppc64el.
Package has a Depends on libcairo2 (>= 1.2.4) which cannot be satisfied on arm64.
Package has a Depends on libcairo2 (>= 1.2.4) which cannot be satisfied on riscv64.
Package has a Depends on libgdk-pixbuf-2.0-0 (>= 2.22.0) which cannot be satisfied on ppc64el.
Package has a Depends on libgdk-pixbuf-2.0-0 (>= 2.22.0) which cannot be satisfied on riscv64.
Package has a Depends on libgdk-pixbuf-2.0-0 (>= 2.22.0) which cannot be satisfied on arm64.
Package has a Depends on libgdk-pixbuf-2.0-0 (>= 2.22.0) which cannot be satisfied on s390x.
Package has a Depends on libgdk-pixbuf-2.0-0 (>= 2.22.0) which cannot be satisfied on amd64.
Package has a Depends on ocaml-base-5.3.0 which cannot be satisfied on i386.
Package has a Depends on ocaml-base-5.3.0 which cannot be satisfied on mips64el.
Package has a Depends on ocaml-base-5.3.0 which cannot be satisfied on armel.
Package has a Depends on ocaml-base-5.3.0 which cannot be satisfied on armhf.
Package has a Depends on libgtksourceview-3.0-1 (>= 2.91.4) which cannot be satisfied on amd64.
Package has a Depends on libgtksourceview-3.0-1 (>= 2.91.4) which cannot be satisfied on s390x.
Package has a Depends on libgtksourceview-3.0-1 (>= 2.91.4) which cannot be satisfied on arm64.
Package has a Depends on libgtksourceview-3.0-1 (>= 2.91.4) which cannot be satisfied on riscv64.
Package has a Depends on libgtksourceview-3.0-1 (>= 2.91.4) which cannot be satisfied on ppc64el.
Package has a Depends on libc6 (>= 2.34) which cannot be satisfied on mips64el.
Package has a Depends on libc6 (>= 2.34) which cannot be satisfied on armel.
Package has a Depends on libc6 (>= 2.34) which cannot be satisfied on armhf.
Package has a Depends on libc6 (>= 2.34) which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-ap2s7 which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-ap2s7 which cannot be satisfied on mips64el.
Package has a Depends on libzarith-ocaml-ap2s7 which cannot be satisfied on armhf.
Package has a Depends on libzarith-ocaml-ap2s7 which cannot be satisfied on armel.
Package has a Depends on libglib2.0-0t64 (>= 2.36.0) which cannot be satisfied on ppc64el.
Package has a Depends on libglib2.0-0t64 (>= 2.36.0) which cannot be satisfied on arm64.
Package has a Depends on libglib2.0-0t64 (>= 2.36.0) which cannot be satisfied on riscv64.
Package has a Depends on libglib2.0-0t64 (>= 2.36.0) which cannot be satisfied on s390x.
Package has a Depends on libglib2.0-0t64 (>= 2.36.0) which cannot be satisfied on amd64.
Package has a Depends on libcairo2-ocaml-7ye75 which cannot be satisfied on s390x.
Package has a Depends on libc6 (>= 2.38) which cannot be satisfied on ppc64el.
Package has a Depends on libc6 (>= 2.38) which cannot be satisfied on arm64.
Package has a Depends on libc6 (>= 2.38) which cannot be satisfied on riscv64.
Package has a Depends on libc6 (>= 2.38) which cannot be satisfied on s390x.
Package has a Depends on libc6 (>= 2.38) which cannot be satisfied on amd64.
Package has a Depends on liblablgtk3-ocaml-isjt4 which cannot be satisfied on amd64.
Package has a Depends on liblablgtk3-ocaml-isjt4 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtk3-ocaml-isjt4 which cannot be satisfied on riscv64.
Package has a Depends on liblablgtk3-ocaml-isjt4 which cannot be satisfied on arm64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on ppc64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on riscv64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on arm64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armhf.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on mips64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on s390x.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on i386.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armel.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on amd64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on riscv64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on arm64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armhf.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on ppc64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on mips64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on s390x.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armel.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on amd64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on i386.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on mips64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on s390x.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on ppc64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armhf.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on riscv64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on arm64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on i386.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on amd64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armel.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on amd64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armel.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on i386.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on mips64el.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on s390x.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on arm64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on riscv64.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on armhf.
Package has a Recommends on cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) which cannot be satisfied on ppc64el.

Binary Package: libwhy3-ocaml-dev (Version: 1.8.0-3)

Relationships

Package has a Depends on libzip-ocaml-dev-lf894 which cannot be satisfied on riscv64.
Package has a Depends on libzip-ocaml-dev-lf894 which cannot be satisfied on arm64.
Package has a Depends on libzip-ocaml-dev-lf894 which cannot be satisfied on ppc64el.
Package has a Depends on libzip-ocaml-dev-lf894 which cannot be satisfied on amd64.
Package has a Depends on libstdlib-ocaml-dev-fxjy5 which cannot be satisfied on amd64.
Package has a Depends on libstdlib-ocaml-dev-fxjy5 which cannot be satisfied on ppc64el.
Package has a Depends on libstdlib-ocaml-dev-fxjy5 which cannot be satisfied on riscv64.
Package has a Depends on libstdlib-ocaml-dev-fxjy5 which cannot be satisfied on arm64.
Package has a Depends on libzarith-ocaml-dev-f1se9 which cannot be satisfied on arm64.
Package has a Depends on libzarith-ocaml-dev-f1se9 which cannot be satisfied on riscv64.
Package has a Depends on libzarith-ocaml-dev-f1se9 which cannot be satisfied on ppc64el.
Package has a Depends on libzarith-ocaml-dev-f1se9 which cannot be satisfied on amd64.
Package has a Depends on libzip-ocaml-dev-sshg2 which cannot be satisfied on s390x.
Package has a Depends on libzip-ocaml-dev-3hpl7 which cannot be satisfied on i386.
Package has a Depends on libzip-ocaml-dev-3hpl7 which cannot be satisfied on armel.
Package has a Depends on libzip-ocaml-dev-3hpl7 which cannot be satisfied on armhf.
Package has a Depends on libzip-ocaml-dev-3hpl7 which cannot be satisfied on mips64el.
Package has a Depends on libmenhir-ocaml-dev-m8io2 which cannot be satisfied on s390x.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on i386.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on amd64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armel.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on mips64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on s390x.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armhf.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on riscv64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on arm64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on ppc64el.
Package has a Depends on libstdlib-ocaml-dev-ke4j9 which cannot be satisfied on s390x.
Package has a Depends on libmenhir-ocaml-dev-47jc5 which cannot be satisfied on mips64el.
Package has a Depends on libmenhir-ocaml-dev-47jc5 which cannot be satisfied on armel.
Package has a Depends on libmenhir-ocaml-dev-47jc5 which cannot be satisfied on armhf.
Package has a Depends on libmenhir-ocaml-dev-47jc5 which cannot be satisfied on i386.
Package has a Depends on libstdlib-ocaml-dev-bdrm4 which cannot be satisfied on armel.
Package has a Depends on libstdlib-ocaml-dev-bdrm4 which cannot be satisfied on armhf.
Package has a Depends on libstdlib-ocaml-dev-bdrm4 which cannot be satisfied on mips64el.
Package has a Depends on libstdlib-ocaml-dev-bdrm4 which cannot be satisfied on i386.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on armel.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on amd64.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on i386.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on ppc64el.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on riscv64.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on armhf.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on arm64.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on mips64el.
Package has a Depends on ocaml-5.3.0 which cannot be satisfied on s390x.
Package has a Depends on libzarith-ocaml-dev-i2hh0 which cannot be satisfied on s390x.
Package has a Depends on libzarith-ocaml-dev-ap2s7 which cannot be satisfied on armhf.
Package has a Depends on libzarith-ocaml-dev-ap2s7 which cannot be satisfied on armel.
Package has a Depends on libzarith-ocaml-dev-ap2s7 which cannot be satisfied on mips64el.
Package has a Depends on libzarith-ocaml-dev-ap2s7 which cannot be satisfied on i386.
Package has a Depends on libmenhir-ocaml-dev-ra7h0 which cannot be satisfied on riscv64.
Package has a Depends on libmenhir-ocaml-dev-ra7h0 which cannot be satisfied on arm64.
Package has a Depends on libmenhir-ocaml-dev-ra7h0 which cannot be satisfied on ppc64el.
Package has a Depends on libmenhir-ocaml-dev-ra7h0 which cannot be satisfied on amd64.
Package has a Suggests on ocaml-findlib which cannot be satisfied on s390x.
Package has a Suggests on ocaml-findlib which cannot be satisfied on mips64el.
Package has a Suggests on ocaml-findlib which cannot be satisfied on armhf.
Package has a Suggests on ocaml-findlib which cannot be satisfied on riscv64.
Package has a Suggests on ocaml-findlib which cannot be satisfied on arm64.
Package has a Suggests on ocaml-findlib which cannot be satisfied on ppc64el.
Package has a Suggests on ocaml-findlib which cannot be satisfied on i386.
Package has a Suggests on ocaml-findlib which cannot be satisfied on amd64.
Package has a Suggests on ocaml-findlib which cannot be satisfied on armel.

Binary Package: why3-examples (Version: 1.8.0-3)

Relationships

Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on s390x.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on mips64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armhf.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on riscv64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on arm64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on ppc64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on amd64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armel.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on i386.

Binary Package: why3-doc-html (Version: 1.8.0-3)

Relationships

Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on ppc64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armhf.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on riscv64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on arm64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on s390x.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on mips64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on i386.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armel.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on amd64.
Package has a Depends on libjs-mathjax which cannot be satisfied on amd64.
Package has a Depends on libjs-mathjax which cannot be satisfied on armel.
Package has a Depends on libjs-mathjax which cannot be satisfied on i386.
Package has a Depends on libjs-mathjax which cannot be satisfied on s390x.
Package has a Depends on libjs-mathjax which cannot be satisfied on mips64el.
Package has a Depends on libjs-mathjax which cannot be satisfied on riscv64.
Package has a Depends on libjs-mathjax which cannot be satisfied on arm64.
Package has a Depends on libjs-mathjax which cannot be satisfied on armhf.
Package has a Depends on libjs-mathjax which cannot be satisfied on ppc64el.
Package has a Depends on libjs-underscore which cannot be satisfied on s390x.
Package has a Depends on libjs-underscore which cannot be satisfied on mips64el.
Package has a Depends on libjs-underscore which cannot be satisfied on arm64.
Package has a Depends on libjs-underscore which cannot be satisfied on riscv64.
Package has a Depends on libjs-underscore which cannot be satisfied on armhf.
Package has a Depends on libjs-underscore which cannot be satisfied on ppc64el.
Package has a Depends on libjs-underscore which cannot be satisfied on amd64.
Package has a Depends on libjs-underscore which cannot be satisfied on armel.
Package has a Depends on libjs-underscore which cannot be satisfied on i386.
Package has a Depends on libjs-jquery which cannot be satisfied on i386.
Package has a Depends on libjs-jquery which cannot be satisfied on armel.
Package has a Depends on libjs-jquery which cannot be satisfied on amd64.
Package has a Depends on libjs-jquery which cannot be satisfied on ppc64el.
Package has a Depends on libjs-jquery which cannot be satisfied on riscv64.
Package has a Depends on libjs-jquery which cannot be satisfied on arm64.
Package has a Depends on libjs-jquery which cannot be satisfied on armhf.
Package has a Depends on libjs-jquery which cannot be satisfied on s390x.
Package has a Depends on libjs-jquery which cannot be satisfied on mips64el.

Binary Package: why3-doc-pdf (Version: 1.8.0-3)

Relationships

Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on i386.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armel.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on amd64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on arm64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on riscv64.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on armhf.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on ppc64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on mips64el.
Package has a Depends on tex-common (>= 6.13) which cannot be satisfied on s390x.