Ubuntu
agda package

  1. Bug #1808783
  2. Comment #13

Comment 13 for bug 1808783

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

Removing packages from disco:
 haskell-hmt 0.15-2build2 in disco
  libghc-hmt-dev 0.15-2build2 in disco amd64
  libghc-hmt-dev 0.15-2build2 in disco arm64
  libghc-hmt-dev 0.15-2build2 in disco armhf
  libghc-hmt-dev 0.15-2build2 in disco i386
  libghc-hmt-dev 0.15-2build2 in disco ppc64el
  libghc-hmt-dev 0.15-2build2 in disco s390x
  libghc-hmt-doc 0.15-2build2 in disco amd64
  libghc-hmt-doc 0.15-2build2 in disco arm64
  libghc-hmt-doc 0.15-2build2 in disco armhf
  libghc-hmt-doc 0.15-2build2 in disco i386
  libghc-hmt-doc 0.15-2build2 in disco ppc64el
  libghc-hmt-doc 0.15-2build2 in disco s390x
  libghc-hmt-prof 0.15-2build2 in disco amd64
  libghc-hmt-prof 0.15-2build2 in disco arm64
  libghc-hmt-prof 0.15-2build2 in disco armhf
  libghc-hmt-prof 0.15-2build2 in disco i386
  libghc-hmt-prof 0.15-2build2 in disco ppc64el
  libghc-hmt-prof 0.15-2build2 in disco s390x
Comment: FTBFS with ghc 8.4; Debian bug #914352, LP: #1808783
1 package successfully removed.
Removing packages from disco-proposed:
 haskell-hmt 0.16-3 in disco
Comment: FTBFS with ghc 8.4; Debian bug #914352, LP: #1808783
1 package successfully removed.