Re: RFS: eprover 1.0.004-2 (updated package)

2009-05-21 Thread Piotr Ożarowski
Is Andreas busy or -1 was just a "one time upload"? Please add a note in RFS mails to -mentors that your previous sponsor is not able to upload it (hint: `who-uploads eprover`) -- http://people.debian.org/~piotr/sponsor -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a

Re: RFS: eprover 1.0.004-2 (updated package)

2009-05-21 Thread Petr Pudlak
Dear package maintainers, I'm looking for somebody who would kindly upload this package. I posted almost 2 weeks ago, but nobody stepped up, so I'm trying again. There were just very minor changes (see below). I also made the package available at http://nit.felk.cvut.cz/~petr/deb/eprover_1.0