On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote:
Hi Andreas, everybody, I moved the package into the git repository: Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git 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.
That's fine.
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 ... Andreas. -- http://fam-tille.de