Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality

[stigge]

Package: wnpp
Severity: normal

I'm not using this package regularly. Therefore, looking for a new maintainer. 
There was no upstream release since 2010.