Hi,
as I was suggested, I'm looking for a sponsor for the eprover package, who
would help me with publishing the package. (http://bugs.debian.org/516545). I
believe that Debian Science would be a proper place for it. As advised, I
obtained a more proper description:
Description: Theorem
On Tuesday 24 February 2009 09:02:34 Andreas Tille wrote:
On Mon, 23 Feb 2009, Petr Pudlak (Debian) wrote:
as I was suggested, I'm looking for a sponsor for the eprover package,
who would help me with publishing the package.
If you are seeking for a sponsor it is a clever idea to post
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
3 matches
Mail list logo