Debcheck

 

Back to QA

Debcheck - sid
 Summary
 All packages (light)

main only
 Broken PreDepends
 Broken Depends
 Broken Recommends
 Broken Suggests

 HalfBroken PreDepends
 HalfBroken Depends
 HalfBroken Recommends
 HalfBroken Suggests

 Build-Depends
 HalfBroken Build-Depends
 Malformed Build-Depends

 OldLibs
 Priority

 Old Standards-Version
 No Standards-Version
 Wrong Standards-Version Syntax

other
 Depends Main on !Main

all sections
 Broken PreDepends
 Broken Depends
 Broken Recommends
 Broken Suggests

 HalfBroken PreDepends
 HalfBroken Depends
 HalfBroken Recommends
 HalfBroken Suggests

 Build-Depends
 HalfBroken Build-Depends
 Malformed Build-Depends

 OldLibs
 Priority

 Old Standards-Version
 No Standards-Version
 Wrong Standards-Version Syntax

 
   
Distribution: sid buster stretch jessie wheezy

Problems for source package agda

Current Source Version: 2.5.1.1-4
Current Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Section: main
BTS entry: http://bugs.debian.org/src:agda

Binary Package: agda (Version: 2.5.1.1-4)

BTS entry: http://bugs.debian.org/agda

Relationships

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 armel.
Package has a Depends on agda-bin which cannot be satisfied on mipsel.
Package has a Depends on agda-bin which cannot be satisfied on mips.
Package has a Depends on libghc-agda-dev which cannot be satisfied on mips.
Package has a Depends on libghc-agda-dev which cannot be satisfied on mipsel.
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 armhf.

Binary Package: libghc-agda-dev (Version: 2.5.1.1-3+b1)

BTS entry: http://bugs.debian.org/libghc-agda-dev

Relationships

Package has a Depends on libghc-transformers-compat-dev-0.5.1.4-518aa which cannot be satisfied on powerpc.
Package has a Depends on libghc-process-dev-1.4.2.0-eaf3a which cannot be satisfied on powerpc.
Package has a Depends on libghc-geniplate-mirror-dev-0.7.4-ec242 which cannot be satisfied on powerpc.
Package has a Depends on libghc-xhtml-dev-3000.2.1-d0eb3 which cannot be satisfied on powerpc.
Package has a Depends on libghc-zlib-dev-0.6.1.2-3a484 which cannot be satisfied on powerpc.
Package has a Depends on libghc-bytestring-dev-0.10.8.1-ef8c4 which cannot be satisfied on powerpc.
Package has a Depends on libghc-quickcheck-dev-2.8.2-48118 which cannot be satisfied on powerpc.
Package has a Depends on libghc-haskell-src-exts-dev-1.17.1-a4b0e which cannot be satisfied on powerpc.
Package has a Depends on libghc-parallel-dev-3.2.1.0-622ef which cannot be satisfied on powerpc.
Package has a Depends on libghc-filepath-dev-1.4.1.0-9fba3 which cannot be satisfied on powerpc.
Package has a Depends on libghc-binary-dev-0.8.3.0-306a7 which cannot be satisfied on powerpc.
Package has a Depends on libghc-edisoncore-dev-1.3.1.1-64ae2 which cannot be satisfied on powerpc.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-78507 which cannot be satisfied on powerpc.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-de613 which cannot be satisfied on powerpc.
Package has a Depends on libghc-array-dev-0.5.1.1-33e2e which cannot be satisfied on powerpc.
Package has a Depends on libghc-containers-dev-0.5.7.1-6e775 which cannot be satisfied on powerpc.
Package has a Depends on libghc-time-dev-1.6.0.1-35b27 which cannot be satisfied on powerpc.
Package has a Depends on libghc-monadplus-dev-1.4.2-8843a which cannot be satisfied on powerpc.
Package has a Depends on libghc-edisonapi-dev-1.3.1-955d6 which cannot be satisfied on powerpc.
Package has a Depends on libghc-text-dev-1.2.2.1-6ebdf which cannot be satisfied on powerpc.
Package has a Depends on libghc-deepseq-dev-1.4.2.0-35cb8 which cannot be satisfied on powerpc.
Package has a Depends on libghc-boxes-dev-0.1.4-3b9ab which cannot be satisfied on powerpc.
Package has a Depends on libghc-hashtables-dev-1.2.1.0-a8b3b which cannot be satisfied on powerpc.
Package has a Depends on libghc-template-haskell-dev-2.11.0.0-179d6 which cannot be satisfied on powerpc.
Package has a Depends on libghc-base-dev-4.9.0.0-bde3f which cannot be satisfied on powerpc.
Package has a Depends on libghc-strict-dev-0.3.2-521be which cannot be satisfied on powerpc.
Package has a Depends on libghc-pretty-dev-1.1.3.3-cd676 which cannot be satisfied on powerpc.
Package has a Depends on libghc-haskeline-dev-0.7.2.3-d30fb which cannot be satisfied on powerpc.
Package has a Depends on libghc-mtl-dev-2.2.1-06629 which cannot be satisfied on powerpc.
Package has a Depends on libghc-unordered-containers-dev-0.2.7.1-dc2b6 which cannot be satisfied on powerpc.
Package has a Depends on libghc-directory-dev-1.2.6.2-0d13e which cannot be satisfied on powerpc.
Package has a Depends on libghc-hashable-dev-1.2.4.0-db4ec which cannot be satisfied on powerpc.
Package has a Depends on libghc-transformers-dev-0.5.2.0-34e37 which cannot be satisfied on powerpc.

Binary Package: libghc-agda-dev (Version: 2.5.1.1-3)

BTS entry: http://bugs.debian.org/libghc-agda-dev

Relationships

Package has a Depends on libghc-zlib-dev-0.6.1.2-9448b which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-unordered-containers-dev-0.2.7.1-6be11 which cannot be satisfied on mips64el.
Package has a Depends on libghc-time-dev-1.6.0.1-6cdb6 which cannot be satisfied on mips64el.
Package has a Depends on libghc-base-dev-4.9.0.0-9f2ee which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-equivalence-dev-0.3.1-ee30b which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-transformers-dev-0.5.2.0-3446d which cannot be satisfied on mips64el.
Package has a Depends on libghc-text-dev-1.2.2.1-80edf which cannot be satisfied on mips64el.
Package has a Depends on libghc-pretty-dev-1.1.3.3-bed5a which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-edisoncore-dev-1.3.1.1-33382 which cannot be satisfied on mips64el.
Package has a Depends on libghc-edisonapi-dev-1.3.1-80de1 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-mtl-dev-2.2.1-3d1c9 which cannot be satisfied on mips64el.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-de613 which cannot be satisfied on mips64el.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-de613 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-process-dev-1.4.2.0-2c02f which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-edisoncore-dev-1.3.1.1-fa4c0 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-transformers-compat-dev-0.5.1.4-518aa which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-transformers-compat-dev-0.5.1.4-518aa which cannot be satisfied on mips64el.
Package has a Depends on libghc-xhtml-dev-3000.2.1-d0eb3 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-strict-dev-0.3.2-6bbf1 which cannot be satisfied on mips64el.
Package has a Depends on libghc-template-haskell-dev-2.11.0.0-46f39 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-parallel-dev-3.2.1.0-7ceef which cannot be satisfied on mips64el.
Package has a Depends on libghc-template-haskell-dev-2.11.0.0-b9e58 which cannot be satisfied on mips64el.
Package has a Depends on libghc-unordered-containers-dev-0.2.7.1-93ced which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-zlib-dev-0.6.1.2-cea47 which cannot be satisfied on mips64el.
Package has a Depends on libghc-geniplate-mirror-dev-0.7.4-00bf1 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-hashable-dev-1.2.4.0-caa41 which cannot be satisfied on mips64el.
Package has a Depends on libghc-parallel-dev-3.2.1.0-055d8 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-5d03a which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-haskeline-dev-0.7.2.3-0da6d which cannot be satisfied on mips64el.
Package has a Depends on libghc-boxes-dev-0.1.4-a65ea which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-mtl-dev-2.2.1-4037b which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-bytestring-dev-0.10.8.1-eb4be which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-directory-dev-1.2.6.2-fd1ab which cannot be satisfied on mips64el.
Package has a Depends on libghc-data-hash-dev-0.2.0.1-c9b47 which cannot be satisfied on mips64el.
Package has a Depends on libghc-process-dev-1.4.2.0-e39cb which cannot be satisfied on mips64el.
Package has a Depends on libghc-monadplus-dev-1.4.2-8843a which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-array-dev-0.5.1.1-fa350 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-bytestring-dev-0.10.8.1-58b19 which cannot be satisfied on mips64el.
Package has a Depends on libghc-base-dev-4.9.0.0-405b3 which cannot be satisfied on mips64el.
Package has a Depends on libghc-equivalence-dev-0.3.1-ba83a which cannot be satisfied on mips64el.
Package has a Depends on libghc-xhtml-dev-3000.2.1-3057e which cannot be satisfied on mips64el.
Package has a Depends on libghc-transformers-dev-0.5.2.0-cdb38 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-quickcheck-dev-2.8.2-73f7a which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-text-dev-1.2.2.1-2fc81 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-edisonapi-dev-1.3.1-4ee84 which cannot be satisfied on mips64el.
Package has a Depends on libghc-deepseq-dev-1.4.2.0-a6601 which cannot be satisfied on mips64el.
Package has a Depends on libghc-monadplus-dev-1.4.2-a24e6 which cannot be satisfied on mips64el.
Package has a Depends on libghc-deepseq-dev-1.4.2.0-4eba0 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-hashtables-dev-1.2.1.0-fd813 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-hashable-dev-1.2.4.0-c4627 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-haskeline-dev-0.7.2.3-1228f which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-geniplate-mirror-dev-0.7.4-09aba which cannot be satisfied on mips64el.
Package has a Depends on libghc-filepath-dev-1.4.1.0-6e799 which cannot be satisfied on mips64el.
Package has a Depends on libghc-hashtables-dev-1.2.1.0-2ca31 which cannot be satisfied on mips64el.
Package has a Depends on libghc-haskell-src-exts-dev-1.17.1-6d9ae which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-binary-dev-0.8.3.0-4351e which cannot be satisfied on mips64el.
Package has a Depends on libghc-array-dev-0.5.1.1-472ca which cannot be satisfied on mips64el.
Package has a Depends on libghc-containers-dev-0.5.7.1-87001 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-directory-dev-1.2.6.2-122a2 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-binary-dev-0.8.3.0-74271 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-containers-dev-0.5.7.1-8be09 which cannot be satisfied on mips64el.
Package has a Depends on libghc-time-dev-1.6.0.1-3bf11 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-boxes-dev-0.1.4-acf73 which cannot be satisfied on mips64el.
Package has a Depends on libghc-strict-dev-0.3.2-56ae0 which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-filepath-dev-1.4.1.0-99c7a which cannot be satisfied on hurd-i386.
Package has a Depends on libghc-pretty-dev-1.1.3.3-3d24d which cannot be satisfied on mips64el.
Package has a Depends on libghc-quickcheck-dev-2.8.2-fd3f0 which cannot be satisfied on mips64el.

Binary Package: elpa-agda2-mode (Version: 2.5.1.1-4)

BTS entry: http://bugs.debian.org/elpa-agda2-mode

Relationships

Package has a Depends on agda-bin (>= 2.5.1.1-4) which cannot be satisfied on armhf.
Package has a Depends on agda-bin (>= 2.5.1.1-4) which cannot be satisfied on mipsel.
Package has a Depends on agda-bin (>= 2.5.1.1-4) which cannot be satisfied on armel.
Package has a Depends on agda-bin (>= 2.5.1.1-4) which cannot be satisfied on mips.
Package has a Depends on libghc-agda-dev (>= 2.5.1.1-4) which cannot be satisfied on armhf.
Package has a Depends on libghc-agda-dev (>= 2.5.1.1-4) which cannot be satisfied on mipsel.
Package has a Depends on libghc-agda-dev (>= 2.5.1.1-4) which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev (>= 2.5.1.1-4) which cannot be satisfied on mips.
Package has a Depends on libghc-agda-dev (<< 2.5.1.1-4.1~) which cannot be satisfied on armhf.
Package has a Depends on libghc-agda-dev (<< 2.5.1.1-4.1~) which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev (<< 2.5.1.1-4.1~) which cannot be satisfied on mipsel.
Package has a Depends on libghc-agda-dev (<< 2.5.1.1-4.1~) which cannot be satisfied on mips.
Package has a Depends on agda-bin (<< 2.5.1.1-4.1~) which cannot be satisfied on armhf.
Package has a Depends on agda-bin (<< 2.5.1.1-4.1~) which cannot be satisfied on mipsel.
Package has a Depends on agda-bin (<< 2.5.1.1-4.1~) which cannot be satisfied on armel.
Package has a Depends on agda-bin (<< 2.5.1.1-4.1~) which cannot be satisfied on mips.

Binary Package: libghc-agda-doc (Version: 2.5.1.1-3)

BTS entry: http://bugs.debian.org/libghc-agda-doc

Relationships

Package has a Depends on haddock-interface-28 which cannot be satisfied on hurd-i386.


Last updated: Wed Jun 28 15:25:23 2017

DO NOT MASS FILE BUG REPORTS
GET A CONSENSUS ON debian-devel@lists.debian.org BEFORE MASS FILING BUGS