Problems for source package agda

Binary Package: elpa-agda2-mode (Version: 2.6.2.2-1.1)

Relationships

Package has a Depends on libghc-agda-dev (>= 2.6.2.2-1.1) which cannot be satisfied on armhf.
Package has a Depends on libghc-agda-dev (>= 2.6.2.2-1.1) which cannot be satisfied on arm64.
Package has a Depends on libghc-agda-dev (>= 2.6.2.2-1.1) which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev (>= 2.6.2.2-1.1) which cannot be satisfied on i386.
Package has a Depends on libghc-agda-dev (<< 2.6.2.2-1.1.1~) which cannot be satisfied on arm64.
Package has a Depends on libghc-agda-dev (<< 2.6.2.2-1.1.1~) which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev (<< 2.6.2.2-1.1.1~) which cannot be satisfied on armhf.
Package has a Depends on libghc-agda-dev (<< 2.6.2.2-1.1.1~) which cannot be satisfied on i386.
Package has a Depends on agda-bin (<< 2.6.2.2-1.1.1~) which cannot be satisfied on arm64.
Package has a Depends on agda-bin (<< 2.6.2.2-1.1.1~) which cannot be satisfied on armel.
Package has a Depends on agda-bin (<< 2.6.2.2-1.1.1~) which cannot be satisfied on armhf.
Package has a Depends on agda-bin (<< 2.6.2.2-1.1.1~) which cannot be satisfied on i386.
Package has a Depends on agda-bin (>= 2.6.2.2-1.1) which cannot be satisfied on armel.
Package has a Depends on agda-bin (>= 2.6.2.2-1.1) which cannot be satisfied on arm64.
Package has a Depends on agda-bin (>= 2.6.2.2-1.1) which cannot be satisfied on armhf.
Package has a Depends on agda-bin (>= 2.6.2.2-1.1) which cannot be satisfied on i386.

Binary Package: libghc-agda-dev (Version: 2.6.2.2-1.1)

Relationships

Package has a Depends on libghc-blaze-html-dev-0.9.1.2-4952b which cannot be satisfied on mips64el.
Package has a Depends on libghc-exceptions-dev-0.10.4-879fd which cannot be satisfied on mips64el.
Package has a Depends on libghc-hashtables-dev-1.2.4.2-bc900 which cannot be satisfied on mips64el.
Package has a Depends on libghc-filepath-dev-1.4.2.1-5fba7 which cannot be satisfied on s390x.
Package has a Depends on libghc-case-insensitive-dev-1.2.1.0-273e6 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-haskeline-dev-0.8.2-32dbb which cannot be satisfied on s390x.
Package has a Depends on libghc-equivalence-dev-0.4.1-15b24 which cannot be satisfied on mips64el.
Package has a Depends on libghc-hashable-dev-1.3.5.0-3fad8 which cannot be satisfied on amd64.
Package has a Depends on libghc-deepseq-dev-1.4.5.0-fd27f which cannot be satisfied on mips64el.
Package has a Depends on libghc-regex-tdfa-dev-1.3.2-5b32c which cannot be satisfied on s390x.
Package has a Depends on libghc-hashtables-dev-1.2.4.2-5b1fb which cannot be satisfied on s390x.
Package has a Depends on libghc-strict-dev-0.4.0.1-544cd which cannot be satisfied on amd64.
Package has a Depends on libghc-case-insensitive-dev-1.2.1.0-8ec05 which cannot be satisfied on mips64el.
Package has a Depends on libghc-parallel-dev-3.2.2.0-6d54b which cannot be satisfied on ppc64el.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-24d25 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-process-dev-1.6.13.2-96f83 which cannot be satisfied on mips64el.
Package has a Depends on libghc-process-dev-1.6.13.2-96f83 which cannot be satisfied on s390x.
Package has a Depends on libghc-blaze-html-dev-0.9.1.2-731ce which cannot be satisfied on s390x.
Package has a Depends on libghc-filepath-dev-1.4.2.1-ab2b9 which cannot be satisfied on mips64el.
Package has a Depends on libghc-directory-dev-1.3.6.2-311c9 which cannot be satisfied on amd64.
Package has a Depends on libghc-bytestring-dev-0.10.12.1-d4ab9 which cannot be satisfied on s390x.
Package has a Depends on libghc-gitrev-dev-1.3.1-dd87d which cannot be satisfied on ppc64el.
Package has a Depends on libghc-murmur-hash-dev-0.1.0.10-f9651 which cannot be satisfied on amd64.
Package has a Depends on libghc-containers-dev-0.6.4.1-31c3b which cannot be satisfied on amd64.
Package has a Depends on libghc-monad-control-dev-1.0.3.1-20361 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-monad-control-dev-1.0.3.1-20361 which cannot be satisfied on amd64.
Package has a Depends on libghc-pretty-dev-1.1.3.6-65126 which cannot be satisfied on s390x.
Package has a Depends on libghc-split-dev-0.2.3.5-0c13f which cannot be satisfied on ppc64el.
Package has a Depends on libghc-split-dev-0.2.3.5-0c13f which cannot be satisfied on amd64.
Package has a Depends on libghc-base-dev-4.15.1.0-6a406 which cannot be satisfied on amd64.
Package has a Depends on libghc-binary-dev-0.8.8.0-c9873 which cannot be satisfied on s390x.
Package has a Depends on libghc-time-dev-1.9.3-66f54 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-exceptions-dev-0.10.4-deb03 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-boxes-dev-0.1.5-fe15f which cannot be satisfied on amd64.
Package has a Depends on libghc-boxes-dev-0.1.5-fe15f which cannot be satisfied on ppc64el.
Package has a Depends on libghc-directory-dev-1.3.6.2-56fbc which cannot be satisfied on mips64el.
Package has a Depends on libghc-base-dev-4.15.1.0-07409 which cannot be satisfied on s390x.
Package has a Depends on libghc-murmur-hash-dev-0.1.0.10-5ae8d which cannot be satisfied on s390x.
Package has a Depends on libghc-hashtables-dev-1.2.4.2-4b143 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-regex-tdfa-dev-1.3.2-1c748 which cannot be satisfied on amd64.
Package has a Depends on libghc-deepseq-dev-1.4.5.0-52c55 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-array-dev-0.5.4.0-0b6fa which cannot be satisfied on amd64.
Package has a Depends on libghc-array-dev-0.5.4.0-0b6fa which cannot be satisfied on ppc64el.
Package has a Depends on libghc-parallel-dev-3.2.2.0-ee433 which cannot be satisfied on s390x.
Package has a Depends on libghc-equivalence-dev-0.4.1-db9e5 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-text-dev-1.2.5.0-7429f which cannot be satisfied on s390x.
Package has a Depends on libghc-strict-dev-0.4.0.1-142c7 which cannot be satisfied on mips64el.
Package has a Depends on libghc-regex-tdfa-dev-1.3.2-b9359 which cannot be satisfied on mips64el.
Package has a Depends on libghc-hashable-dev-1.3.5.0-04430 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-unordered-containers-dev-0.2.17.0-793a4 which cannot be satisfied on s390x.
Package has a Depends on libghc-async-dev-2.2.4-de8a1 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-split-dev-0.2.3.5-b8cd1 which cannot be satisfied on s390x.
Package has a Depends on libghc-split-dev-0.2.3.5-b8cd1 which cannot be satisfied on mips64el.
Package has a Depends on libghc-stm-dev-2.5.0.0-4cba8 which cannot be satisfied on amd64.
Package has a Depends on libghc-stm-dev-2.5.0.0-4cba8 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-equivalence-dev-0.4.1-9ed28 which cannot be satisfied on amd64.
Package has a Depends on libghc-time-dev-1.9.3-bda76 which cannot be satisfied on amd64.
Package has a Depends on libghc-gitrev-dev-1.3.1-e22a7 which cannot be satisfied on mips64el.
Package has a Depends on libghc-uri-encode-dev-1.5.0.7-d0941 which cannot be satisfied on amd64.
Package has a Depends on libghc-blaze-html-dev-0.9.1.2-d5145 which cannot be satisfied on amd64.
Package has a Depends on libghc-binary-dev-0.8.8.0-507cc which cannot be satisfied on amd64.
Package has a Depends on libghc-containers-dev-0.6.4.1-326b4 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-binary-dev-0.8.8.0-2995f which cannot be satisfied on ppc64el.
Package has a Depends on libghc-deepseq-dev-1.4.5.0-118cf which cannot be satisfied on amd64.
Package has a Depends on libghc-pretty-dev-1.1.3.6-9cc6e which cannot be satisfied on ppc64el.
Package has a Depends on libghc-containers-dev-0.6.4.1-1b4f4 which cannot be satisfied on s390x.
Package has a Depends on libghc-mtl-dev-2.2.2-e3bae which cannot be satisfied on amd64.
Package has a Depends on libghc-mtl-dev-2.2.2-e3bae which cannot be satisfied on ppc64el.
Package has a Depends on libghc-haskeline-dev-0.8.2-a905b which cannot be satisfied on mips64el.
Package has a Depends on libghc-gitrev-dev-1.3.1-ab5af which cannot be satisfied on s390x.
Package has a Depends on libghc-zlib-dev-0.6.3.0-c6828 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-gitrev-dev-1.3.1-3f551 which cannot be satisfied on amd64.
Package has a Depends on libghc-strict-dev-0.4.0.1-2fd6e which cannot be satisfied on ppc64el.
Package has a Depends on libghc-exceptions-dev-0.10.4-4c64d which cannot be satisfied on s390x.
Package has a Depends on libghc-mtl-dev-2.2.2-97c5b which cannot be satisfied on s390x.
Package has a Depends on libghc-mtl-dev-2.2.2-97c5b which cannot be satisfied on mips64el.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-a733f which cannot be satisfied on s390x.
Package has a Depends on libghc-transformers-dev-0.5.6.2-fc6f3 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-transformers-dev-0.5.6.2-fc6f3 which cannot be satisfied on amd64.
Package has a Depends on libghc-async-dev-2.2.4-98a97 which cannot be satisfied on s390x.
Package has a Depends on libghc-pretty-dev-1.1.3.6-b017f which cannot be satisfied on amd64.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-cc475 which cannot be satisfied on amd64.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-cc475 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-transformers-dev-0.5.6.2-00dfd which cannot be satisfied on mips64el.
Package has a Depends on libghc-transformers-dev-0.5.6.2-00dfd which cannot be satisfied on s390x.
Package has a Depends on libghc-bytestring-dev-0.10.12.1-1fbc1 which cannot be satisfied on mips64el.
Package has a Depends on libghc-murmur-hash-dev-0.1.0.10-cc64a which cannot be satisfied on ppc64el.
Package has a Depends on libghc-monad-control-dev-1.0.3.1-dc576 which cannot be satisfied on s390x.
Package has a Depends on libghc-monad-control-dev-1.0.3.1-dc576 which cannot be satisfied on mips64el.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-620fa which cannot be satisfied on mips64el.
Package has a Depends on libghc-haskeline-dev-0.8.2-83f75 which cannot be satisfied on amd64.
Package has a Depends on libghc-directory-dev-1.3.6.2-8bc8d which cannot be satisfied on s390x.
Package has a Depends on libghc-strict-dev-0.4.0.1-b889b which cannot be satisfied on s390x.
Package has a Depends on libghc-time-dev-1.9.3-da913 which cannot be satisfied on mips64el.
Package has a Depends on libghc-template-haskell-dev-2.17.0.0-65a5c which cannot be satisfied on ppc64el.
Package has a Depends on libghc-async-dev-2.2.4-7edea which cannot be satisfied on amd64.
Package has a Depends on libghc-text-dev-1.2.5.0-8553e which cannot be satisfied on amd64.
Package has a Depends on libghc-parallel-dev-3.2.2.0-c5441 which cannot be satisfied on mips64el.
Package has a Depends on libghc-boxes-dev-0.1.5-08c7d which cannot be satisfied on mips64el.
Package has a Depends on libghc-boxes-dev-0.1.5-08c7d which cannot be satisfied on s390x.
Package has a Depends on libghc-ghc-compact-dev-0.1.0.0-798b9 which cannot be satisfied on s390x.
Package has a Depends on libghc-zlib-dev-0.6.3.0-e7f0e which cannot be satisfied on s390x.
Package has a Depends on libghc-case-insensitive-dev-1.2.1.0-ea097 which cannot be satisfied on amd64.
Package has a Depends on libghc-template-haskell-dev-2.17.0.0-a9cf3 which cannot be satisfied on s390x.
Package has a Depends on libghc-murmur-hash-dev-0.1.0.10-ef26f which cannot be satisfied on mips64el.
Package has a Depends on libghc-parallel-dev-3.2.2.0-7cbf2 which cannot be satisfied on amd64.
Package has a Depends on libghc-process-dev-1.6.13.2-9f25f which cannot be satisfied on ppc64el.
Package has a Depends on libghc-process-dev-1.6.13.2-9f25f which cannot be satisfied on amd64.
Package has a Depends on libghc-time-dev-1.9.3-77436 which cannot be satisfied on s390x.
Package has a Depends on libghc-unordered-containers-dev-0.2.17.0-a05e2 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-base-dev-4.15.1.0-61ab8 which cannot be satisfied on mips64el.
Package has a Depends on libghc-async-dev-2.2.4-ac7cf which cannot be satisfied on mips64el.
Package has a Depends on libghc-case-insensitive-dev-1.2.1.0-9d27e which cannot be satisfied on s390x.
Package has a Depends on libghc-equivalence-dev-0.4.1-63f64 which cannot be satisfied on s390x.
Package has a Depends on libghc-unordered-containers-dev-0.2.17.0-1d16d which cannot be satisfied on amd64.
Package has a Depends on libghc-text-dev-1.2.5.0-58955 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-68221 which cannot be satisfied on mips64el.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-68221 which cannot be satisfied on s390x.
Package has a Depends on libghc-haskeline-dev-0.8.2-8e772 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-regex-tdfa-dev-1.3.2-34816 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-hashable-dev-1.3.5.0-a30eb which cannot be satisfied on mips64el.
Package has a Depends on libghc-unordered-containers-dev-0.2.17.0-0da6a which cannot be satisfied on mips64el.
Package has a Depends on libghc-hashtables-dev-1.2.4.2-4be59 which cannot be satisfied on amd64.
Package has a Depends on libghc-filepath-dev-1.4.2.1-56c4c which cannot be satisfied on ppc64el.
Package has a Depends on libghc-containers-dev-0.6.4.1-b0a8d which cannot be satisfied on mips64el.
Package has a Depends on libghc-binary-dev-0.8.8.0-fa24d which cannot be satisfied on mips64el.
Package has a Depends on libghc-ghc-compact-dev-0.1.0.0-5fcf5 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-text-dev-1.2.5.0-3bd46 which cannot be satisfied on mips64el.
Package has a Depends on libghc-exceptions-dev-0.10.4-c14ff which cannot be satisfied on amd64.
Package has a Depends on libghc-zlib-dev-0.6.3.0-57e0e which cannot be satisfied on amd64.
Package has a Depends on libghc-pretty-dev-1.1.3.6-5bf13 which cannot be satisfied on mips64el.
Package has a Depends on libghc-ghc-compact-dev-0.1.0.0-7d71d which cannot be satisfied on amd64.
Package has a Depends on libghc-directory-dev-1.3.6.2-3d18a which cannot be satisfied on ppc64el.
Package has a Depends on libghc-deepseq-dev-1.4.5.0-126ab which cannot be satisfied on s390x.
Package has a Depends on libghc-template-haskell-dev-2.17.0.0-7274a which cannot be satisfied on amd64.
Package has a Depends on libghc-uri-encode-dev-1.5.0.7-353dc which cannot be satisfied on ppc64el.
Package has a Depends on libghc-uri-encode-dev-1.5.0.7-763bf which cannot be satisfied on s390x.
Package has a Depends on libghc-uri-encode-dev-1.5.0.7-3875d which cannot be satisfied on mips64el.
Package has a Depends on libghc-blaze-html-dev-0.9.1.2-2c900 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-bytestring-dev-0.10.12.1-bc4ff which cannot be satisfied on ppc64el.
Package has a Depends on libghc-hashable-dev-1.3.5.0-56c89 which cannot be satisfied on s390x.
Package has a Depends on libghc-stm-dev-2.5.0.0-ca020 which cannot be satisfied on s390x.
Package has a Depends on libghc-stm-dev-2.5.0.0-ca020 which cannot be satisfied on mips64el.
Package has a Depends on libghc-array-dev-0.5.4.0-2a3c4 which cannot be satisfied on s390x.
Package has a Depends on libghc-array-dev-0.5.4.0-2a3c4 which cannot be satisfied on mips64el.
Package has a Depends on libghc-filepath-dev-1.4.2.1-4459f which cannot be satisfied on amd64.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-3af90 which cannot be satisfied on amd64.
Package has a Depends on libghc-zlib-dev-0.6.3.0-cb048 which cannot be satisfied on mips64el.
Package has a Depends on libghc-base-dev-4.15.1.0-a09f1 which cannot be satisfied on ppc64el.
Package has a Depends on libghc-ghc-compact-dev-0.1.0.0-b09a6 which cannot be satisfied on mips64el.
Package has a Depends on libghc-template-haskell-dev-2.17.0.0-be578 which cannot be satisfied on mips64el.
Package has a Depends on libghc-bytestring-dev-0.10.12.1-ced9a which cannot be satisfied on amd64.

Binary Package: agda (Version: 2.6.2.2-1.1)

Relationships

Package has a Depends on libghc-agda-dev which cannot be satisfied on i386.
Package has a Depends on libghc-agda-dev which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev which cannot be satisfied on arm64.
Package has a Depends on libghc-agda-dev which cannot be satisfied on armhf.
Package has a Depends on agda-bin which cannot be satisfied on i386.
Package has a Depends on agda-bin which cannot be satisfied on armhf.
Package has a Depends on agda-bin which cannot be satisfied on arm64.
Package has a Depends on agda-bin which cannot be satisfied on armel.

Binary Package: libghc-agda-doc (Version: 2.6.2.2-1.1)

Relationships

Package has a Depends on haddock-interface-38 which cannot be satisfied on s390x.
Package has a Depends on haddock-interface-38 which cannot be satisfied on armel.
Package has a Depends on haddock-interface-38 which cannot be satisfied on amd64.
Package has a Depends on haddock-interface-38 which cannot be satisfied on armhf.
Package has a Depends on haddock-interface-38 which cannot be satisfied on i386.
Package has a Depends on haddock-interface-38 which cannot be satisfied on ppc64el.
Package has a Depends on haddock-interface-38 which cannot be satisfied on mips64el.
Package has a Depends on haddock-interface-38 which cannot be satisfied on arm64.
Package has a Recommends on libghc-agda-dev which cannot be satisfied on armel.
Package has a Recommends on libghc-agda-dev which cannot be satisfied on arm64.
Package has a Recommends on libghc-agda-dev which cannot be satisfied on armhf.
Package has a Recommends on libghc-agda-dev which cannot be satisfied on i386.