[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: RFS: Authomated theorem prover E (AKA eprover)



El dom, 22-02-2009 a las 11:42 +0100, Petr Pudlak (Debian) escribió:
> On Saturday 21 February 2009 22:14:26 you wrote:
> > El sáb, 21-02-2009 a las 13:01 +0100, Petr Pudlak (Debian) escribió:
> > > I created a package for The Equational Theorem Prover "E" and I'm
> > > looking for a sponsor that would help me to get it into Debian 
> > > 
> > $ lintian -IE --pedantic eprover_1.0.004-1_i386.changes
> > 
> > > [Or, instead of looking for sponsor, should I rather join
> > > DebianScience?]
> > > 
> > Sure, you are welcome to do it :)
> > 
> thanks for valuable feedback. I worked on it a bit more and now it
> seems that everything is resolved and lintian is happy. Only man pages
> are a problem, the programs have a lot of options and I don't want
> just to manually duplicate 'eprover --help' etc. listings in a man
> page every time something changes. 
> 
check help2man :)

> I'll try to resolve it with the upstream author somehow. Meanwhile I
> put there a short man page that describes the programs and asks the
> user to run 'program --help'. I hope that'll be OK for the first
> version.
> 
I really think is better if you prepare a proper manpage, and forward it
to upstream... but people on mentors (CC'ing) can offer you other/better
options...

Regards,
(and good look finding a sponsor)

  Ruben

Attachment: signature.asc
Description: Esta parte del mensaje =?ISO-8859-1?Q?est=E1?= firmada digitalmente


Reply to: