[Bug 1808783] Re: GHC removals

[Steve Langasek]

Removing packages from disco:
	elpa-agda2-mode 2.5.3-5build3 in disco armhf
	libghc-agda-dev 2.5.3-5build3 in disco armhf
	libghc-agda-doc 2.5.3-5build3 in disco armhf
Comment: ANAIS
3 packages successfully removed.


** Changed in: agda (Ubuntu)
       Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1808783

Title:
  GHC removals

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/1808783/+subscriptions