Ubuntu
agda package

  1. Bug #1886847
  2. Comment #2

Comment 2 for bug 1886847

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

Removing packages from groovy:
 agda-stdlib 1.1-1 in groovy
  agda-stdlib 1.1-1 in groovy amd64
  agda-stdlib 1.1-1 in groovy arm64
  agda-stdlib 1.1-1 in groovy armhf
  agda-stdlib 1.1-1 in groovy i386
  agda-stdlib 1.1-1 in groovy ppc64el
  agda-stdlib 1.1-1 in groovy riscv64
  agda-stdlib 1.1-1 in groovy s390x
  agda-stdlib-doc 1.1-1 in groovy amd64
  agda-stdlib-doc 1.1-1 in groovy arm64
  agda-stdlib-doc 1.1-1 in groovy armhf
  agda-stdlib-doc 1.1-1 in groovy i386
  agda-stdlib-doc 1.1-1 in groovy ppc64el
  agda-stdlib-doc 1.1-1 in groovy riscv64
  agda-stdlib-doc 1.1-1 in groovy s390x
Comment: build-depends on agda->haskell-edison-core, which is scheduled for removal in Debian; Debian bug #962958, LP: #1886847
1 package successfully removed.