Ubuntu
agda package

  1. Bug #1808783
  2. Comment #10

Comment 10 for bug 1808783

Revision history for this message
Steve Langasek (vorlon) wrote :

Removing packages from disco:
 haskell-dpkg 0.0.3-11build1 in disco
  libghc-dpkg-dev 0.0.3-11build1 in disco amd64
  libghc-dpkg-dev 0.0.3-11build1 in disco arm64
  libghc-dpkg-dev 0.0.3-11build1 in disco armhf
  libghc-dpkg-dev 0.0.3-11build1 in disco i386
  libghc-dpkg-dev 0.0.3-11build1 in disco ppc64el
  libghc-dpkg-dev 0.0.3-11build1 in disco s390x
  libghc-dpkg-doc 0.0.3-11build1 in disco amd64
  libghc-dpkg-doc 0.0.3-11build1 in disco arm64
  libghc-dpkg-doc 0.0.3-11build1 in disco armhf
  libghc-dpkg-doc 0.0.3-11build1 in disco i386
  libghc-dpkg-doc 0.0.3-11build1 in disco ppc64el
  libghc-dpkg-doc 0.0.3-11build1 in disco s390x
  libghc-dpkg-prof 0.0.3-11build1 in disco amd64
  libghc-dpkg-prof 0.0.3-11build1 in disco arm64
  libghc-dpkg-prof 0.0.3-11build1 in disco armhf
  libghc-dpkg-prof 0.0.3-11build1 in disco i386
  libghc-dpkg-prof 0.0.3-11build1 in disco ppc64el
  libghc-dpkg-prof 0.0.3-11build1 in disco s390x
Comment: FTBFS with ghc 8.4; Debian bug #880879, LP: #1808783
1 package successfully removed.