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
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
