Bug#516545: ITP: eprover -- The Equational Theorem Prover E
On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote:
Hi Andreas, everybody,
I moved the package into the git repository:
and adapted the package for GIT.
It's lintian clean, except for a pedantic warning that it doesn't use a patch system, which I hope is
OK, since I've converted my dpatches into git revisions.
I'd be happy If somebody could upload the package, or perhaps point out that there is something that
should be corrected before uploading.
I'm currently busy but if nobody would step up until Friday - just
come back to me ...