[Bug 1886847] [NEW] RM agda agda-stdlib because haskell-edison-core got removed

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Dimitri John Ledkov (xnox):

RM agda agda-stdlib because haskell-edison-core got removed

Please remove agda agda-stdlib, from groovy-release & groovy-proposed

haskell-edison-core got removed because "FTBFS with current ghc,
scheduled for removal in Debian; Debian bug #962958"

** Affects: agda (Ubuntu)
     Importance: Undecided
         Status: Triaged

** Affects: agda-stdlib (Ubuntu)
     Importance: Undecided
         Status: Triaged


** Tags: update-excuse
-- 
RM agda agda-stdlib because haskell-edison-core got removed
https://bugs.launchpad.net/bugs/1886847
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.