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.3-5
Current Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:agda

Binary Package: agda (Version: 2.5.3-5)

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

Relationships

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

Binary Package: libghc-agda-dev (Version: 2.5.2-2+b1)

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

Relationships

Package has a Depends on libghc-filepath-dev-1.4.1.1-59c71 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-xhtml-dev-3000.2.1-15bd1 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-binary-dev-0.8.3.0-0525e which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-unordered-containers-dev-0.2.8.0-d89da which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-mtl-dev-2.2.1-1a6c5 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-haskeline-dev-0.7.3.0-2e494 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-equivalence-dev-0.3.2-d57ac which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-text-dev-1.2.2.2-edb40 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-deepseq-dev-1.4.2.0-1268c which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-transformers-compat-dev-0.5.1.4-1d91d which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-array-dev-0.5.1.1-581e7 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-boxes-dev-0.1.4-6321a which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-process-dev-1.4.3.0-29c69 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-hashable-dev-1.2.6.1-4ee01 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-strict-dev-0.3.2-319d5 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-base-dev-4.9.1.0-91ace which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-parallel-dev-3.2.1.1-aa29c which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-geniplate-mirror-dev-0.7.5-f9baa which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-bytestring-dev-0.10.8.1-576fa which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-murmur-hash-dev-0.1.0.9-9b152 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-directory-dev-1.3.0.0-3cbec which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-hashtables-dev-1.2.1.1-0296f which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-time-dev-1.6.0.1-9bb14 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-monadplus-dev-1.4.2-8cebd which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-edisoncore-dev-1.3.1.1-05a50 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-containers-dev-0.5.7.1-141ee which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-ieee754-dev-0.8.0-8e68d which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-zlib-dev-0.6.1.2-64d3b which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-pretty-dev-1.1.3.3-cb85e which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-template-haskell-dev-2.11.1.0-73607 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-edit-distance-dev-0.2.2.1-78656 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-regex-tdfa-dev-1.2.2-ac29a which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-gitrev-dev-1.2.0-b1da3 which cannot be satisfied on kfreebsd-amd64.
Package has a Depends on libghc-transformers-dev-0.5.2.0-1d020 which cannot be satisfied on kfreebsd-amd64.

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

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

Relationships

Package has a Depends on libghc-boxes-dev-0.1.4-409ba which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-bytestring-dev-0.10.8.1-24a86 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-time-dev-1.6.0.1-fbdf1 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-strict-dev-0.3.2-9c00f which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-deepseq-dev-1.4.2.0-ab902 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-array-dev-0.5.1.1-4c8b7 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-monadplus-dev-1.4.2-6467b which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-stm-dev-2.4.4.1-84028 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-directory-dev-1.3.0.0-82b9b which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-filepath-dev-1.4.1.1-32f1a which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-zlib-dev-0.6.1.2-f6ce5 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-haskeline-dev-0.7.3.0-a7156 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-process-dev-1.4.3.0-77abf which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-pretty-dev-1.1.3.3-92eaa which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-containers-dev-0.5.7.1-ed950 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-transformers-dev-0.5.2.0-e204f which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-parallel-dev-3.2.1.1-2b7ad which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-geniplate-mirror-dev-0.7.5-4ebfa which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-base-dev-4.9.1.0-347a1 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-template-haskell-dev-2.11.1.0-dcf2c which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-mtl-dev-2.2.1-93d32 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-murmur-hash-dev-0.1.0.9-5ec8f which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-text-dev-1.2.2.2-d3848 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-binary-dev-0.8.3.0-99d07 which cannot be satisfied on kfreebsd-i386.
Package has a Depends on libghc-ieee754-dev-0.8.0-2f219 which cannot be satisfied on kfreebsd-i386.

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

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

Relationships

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

Binary Package: libghc-agda-doc (Version: 2.5.2-2)

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

Relationships

Package has a Depends on haddock-interface-28 which cannot be satisfied on kfreebsd-amd64.

Binary Package: elpa-agda2-mode (Version: 2.5.3-5)

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

Relationships

Package has a Depends on agda-bin (>= 2.5.3-5) which cannot be satisfied on armel.
Package has a Depends on agda-bin (>= 2.5.3-5) which cannot be satisfied on armhf.
Package has a Depends on agda-bin (<< 2.5.3-5.1~) which cannot be satisfied on armhf.
Package has a Depends on agda-bin (<< 2.5.3-5.1~) which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev (<< 2.5.3-5.1~) which cannot be satisfied on armhf.
Package has a Depends on libghc-agda-dev (<< 2.5.3-5.1~) which cannot be satisfied on armel.
Package has a Depends on libghc-agda-dev (>= 2.5.3-5) which cannot be satisfied on armhf.
Package has a Depends on libghc-agda-dev (>= 2.5.3-5) which cannot be satisfied on armel.


Last updated: Wed Jul 18 15:25:11 2018

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