Ubuntu
agda package

  1. Bug #1808783
  2. Comment #12

Comment 12 for bug 1808783

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

Removing packages from disco:
 haskell-hit 0.6.3-8build3 in disco
  libghc-hit-dev 0.6.3-8build3 in disco amd64
  libghc-hit-dev 0.6.3-8build3 in disco arm64
  libghc-hit-dev 0.6.3-8build3 in disco armhf
  libghc-hit-dev 0.6.3-8build3 in disco i386
  libghc-hit-dev 0.6.3-8build3 in disco ppc64el
  libghc-hit-dev 0.6.3-8build3 in disco s390x
  libghc-hit-doc 0.6.3-8build3 in disco amd64
  libghc-hit-doc 0.6.3-8build3 in disco arm64
  libghc-hit-doc 0.6.3-8build3 in disco armhf
  libghc-hit-doc 0.6.3-8build3 in disco i386
  libghc-hit-doc 0.6.3-8build3 in disco ppc64el
  libghc-hit-doc 0.6.3-8build3 in disco s390x
  libghc-hit-prof 0.6.3-8build3 in disco amd64
  libghc-hit-prof 0.6.3-8build3 in disco arm64
  libghc-hit-prof 0.6.3-8build3 in disco armhf
  libghc-hit-prof 0.6.3-8build3 in disco i386
  libghc-hit-prof 0.6.3-8build3 in disco ppc64el
  libghc-hit-prof 0.6.3-8build3 in disco s390x
Comment: FTBFS with ghc 8.4; Debian bug #911569, LP: #1808783
1 package successfully removed.
Removing packages from disco-proposed:
 haskell-hit 0.6.3-11 in disco
Comment: FTBFS with ghc 8.4; Debian bug #911569, LP: #1808783
1 package successfully removed.