Re: Bug#516545: ITP: eprover -- The Equational Theorem Prover E
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 the
URL to your *.dsc file to enable others to evaluate your work. ;-)
I believe that Debian Science would be a proper place for it.
Did you asked for an alioth account which might be added to
debian-science team. Once this is done you are able to commit
to SVN or Git - posting this location would be an alternative
to the URL of the *.dsc file.
Kind regards and thanks for your work on eprover
Andreas.
--
http://fam-tille.de
Reply to: