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 the > URL to your *.dsc file to enable others to evaluate your work. ;-)
Thanks for the suggestion. Here is the address: dget -u http://petr.pudlak.name/deb/eprover_1.0.004-1.dsc Best regards, Petr
