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 [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
