[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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:

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 ...



Reply to: