Public bug reported:
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
** Also affects: agda-stdlib (Ubuntu)
Importance: Undecided
Status: New
** Description changed:
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"
+ haskell-edison-core got removed because "FTBFS with current ghc,
+ scheduled for removal in Debian; Debian bug #962958"
** Tags added: update-excuse
** Changed in: agda (Ubuntu)
Status: New => Triaged
** Changed in: agda-stdlib (Ubuntu)
Status: New => Triaged
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1886847
Title:
RM agda agda-stdlib because haskell-edison-core got removed
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/1886847/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
