[Bug 1886847] [NEW] RM agda agda-stdlib because haskell-edison-core got removed
Launchpad Bug Tracker
1886847 at bugs.launchpad.net
Wed Jul 8 16:19:06 UTC 2020
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.
More information about the ubuntu-archive
mailing list