Package: ftp.debian.org Severity: normal Please remove eprover. It's looking abandoned and has no users.
-- Steve McIntyre, Cambridge, UK. [email protected] "I've only once written 'SQL is my bitch' in a comment. But that code is in use on a military site..." -- Simon Booth -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
