Ubuntu
agda package

  1. Bug #1808783
  2. Comment #15

Comment 15 for bug 1808783

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

Removing packages from disco:
 haskell-parsec 3.1.13.0-3build1 in disco
  libghc-parsec3-dev 3.1.13.0-3build1 in disco amd64
  libghc-parsec3-dev 3.1.13.0-3build1 in disco arm64
  libghc-parsec3-dev 3.1.13.0-3build1 in disco armhf
  libghc-parsec3-dev 3.1.13.0-3build1 in disco i386
  libghc-parsec3-dev 3.1.13.0-3build1 in disco ppc64el
  libghc-parsec3-dev 3.1.13.0-3build1 in disco s390x
  libghc-parsec3-doc 3.1.13.0-3build1 in disco amd64
  libghc-parsec3-doc 3.1.13.0-3build1 in disco arm64
  libghc-parsec3-doc 3.1.13.0-3build1 in disco armhf
  libghc-parsec3-doc 3.1.13.0-3build1 in disco i386
  libghc-parsec3-doc 3.1.13.0-3build1 in disco ppc64el
  libghc-parsec3-doc 3.1.13.0-3build1 in disco s390x
  libghc-parsec3-prof 3.1.13.0-3build1 in disco amd64
  libghc-parsec3-prof 3.1.13.0-3build1 in disco arm64
  libghc-parsec3-prof 3.1.13.0-3build1 in disco armhf
  libghc-parsec3-prof 3.1.13.0-3build1 in disco i386
  libghc-parsec3-prof 3.1.13.0-3build1 in disco ppc64el
  libghc-parsec3-prof 3.1.13.0-3build1 in disco s390x
Comment: FTBFS with ghc 8.4, superseded by ghc builtin; Debian bug #911535, LP: #1808783
1 package successfully removed.