Ubuntu
agda package

  1. Bug #1808783
  2. Comment #20

Comment 20 for bug 1808783

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

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