Package: ftp.debian.org Severity: normal Please remove eprover. It's looking abandoned and has no users. -- Steve McIntyre, Cambridge, UK. steve at einval.com "I've only once written 'SQL is my bitch' in a comment. But that code is in use on a military site..." -- Simon Booth