/~petr/deb/eprover_1.0.004-2.dsc
for those who don't want to use the GIT repository (see below).
Thanks a lot,
Petr
On Sat, May 09, 2009 at 08:59:34AM +0200, Petr Pudlak wrote:
> Hi,
>
> I'm looking for a sponsor to upload an updated version 1.0.004-2 of the
> package. T
On Mon, May 11, 2009 at 03:11:22PM +0200, Filippo Rusconi wrote:
> On Mon, May 11, 2009 at 02:11:18PM +0200, Julien Cristau wrote:
> >
> > On Mon, May 11, 2009 at 13:46:30 +0200, Lionel Elie Mamane wrote:
> >
> > > No, policy is very clear on that: if you call the "build" target, you
> > > _must_
ies on 'build-arch' and 'build-indep', so that the policy is
satisfied?
With best regards,
Petr
On Wed, May 06, 2009 at 02:31:52AM +0530, Kapil Hari Paranjape wrote:
> Hello,
>
> On Tue, 05 May 2009, Petr Pudlak wrote:
> > The problem is that if pbuilder i
Hi, I was trying to attend a reported bug (#521918) of a recently uploaded
package 'eprover', but unfortunately I didn't know what to do about it. I've
already asked on debian-mentors, but nobody replied.
The problem is that if pbuilder is invoked with --binary-arch, it still tries
to build the wh
Hi,
the package I'm working on (eprover) contains LaTeX documentation that is
already compiled into PDF in the upstream tarball. However, since Debian
Policy states that the preferred format is HTML, I was thinking about
generating documentation also in HTML. I found a nice program, tex4ht,
OK, I see that I have underestimated the task of creating a good man page.
This is my first Debian package, so please be patient with me.
The tools you recommend look very promising, and rst2man suggested by Ben
Finney too.
Just let me explain why it's difficult to create a good manual for epro
and use it.
[Or, instead of looking for sponsor, should I rather join DebianScience?]
For curious: see also "CASC - The CADE ATP System Competition" for comparison
of theorem provers - E is among the best ones:
http://www.cs.miami.edu/~tptp/CASC/J4/
Thanks for help.
Petr Pudlak
7 matches
Mail list logo
