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 [ [email protected] ] Debian Developer [ [email protected] ] Ubuntu Developer [ [email protected] ] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/20130527184650.32618.12813.reportbug@saucy
