Bug#710037: RM: agda-bin -- ROM; obsolete; now built from agda source package

[Iain Lane <laney@debian.org>]

Package: ftp.debian.org
Severity: normal

Hi,

With the upload of agda to unstable, agda-bin is now obsolete — its
binary package is now built from agda.

Please remove it humanely.

Thanks!

-- 
Iain Lane                                  [ iain@orangesquash.org.uk ]
Debian Developer                                   [ laney@debian.org ]
Ubuntu Developer                                   [ laney@ubuntu.com ]