On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote:
I moved the package into the git repository:
Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git
and adapted the package for GIT.
I commited some
Hi Andreas,
I'm happy with the changes. Thanks for your help! If I have time I'll add the
creation of the links into the repository tomorrow.
Best regards,
Petr
On Thursday 05 March 2009 18:57:28 Andreas Tille wrote:
On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote:
I moved the package
Hi Andreas, everybody,
I moved the package into the git repository:
Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git
and adapted the package for GIT.
It's lintian clean, except for a pedantic
On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote:
Hi Andreas, everybody,
I moved the package into the git repository:
Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git
and adapted the package for GIT.
Hi Andreas,
On Wednesday 25 February 2009 16:08:59 you wrote:
Some (nitpicking!!) idea: Have you considered to move the
examples into a separate package. These are not really of
a size which should be separated I just want to know whether
you know about the option to separate architeture
On Wed, 25 Feb 2009, Petr Pudlak (Debian) wrote:
dget -u http://petr.pudlak.name/deb/eprover_1.0.004-1.dsc
I had a short look onto your work and would like to give some
comments. At first you obviousely did a good job to create a
lintian clean package of a complex software! Considering that
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
On Mon, Feb 23, 2009 at 08:13:33AM +0100, Petr Pudlak (Debian) wrote:
thanks for valuable comments. The original description was meant as a kind of
mathematical joke, since the task of proving a theorem is in general
undecidable, so any theorem prover will get stuck forever on many (or most)
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
Hi,
as I was suggested, I'm looking for a sponsor for the eprover package, who
would help me with publishing the package. (http://bugs.debian.org/516545). I
believe that Debian Science would be a proper place for it. As advised, I
obtained a more proper description:
Description: Theorem
Package: wnpp
Severity: wishlist
Owner: Petr Pudlak d...@pudlak.name
* Package name: eprover
Version : 1.0.004
Upstream Author : Stephan Schulz sch...@eprover.org
* URL : http://www.eprover.org/
* License : GPL-2
Programming Lang: C
Description : The
Hi,
this seems like a nce target for Debian Science Mathematics
section. Petr, do you consider putting the package under
Debian Science team maintenance?
Kind regards
Andreas.
On Sun, 22 Feb 2009, Petr Pudlak wrote:
Package: wnpp
Severity: wishlist
Owner: Petr Pudlak d...@pudlak.name
Hi Andreas,
yes, I thought that it would be a good idea, but I couldn't find exact
guidelines how to do it. (Maybe it's just because I'm a bit tired after
spending the whole weekend reading Debian documentation.)
I can package eprover according to http://debian-
On Sun, Feb 22, 2009 at 09:57:04AM +0100, Petr Pudlak wrote:
* Package name: eprover
Description : The Equational Theorem Prover E
That is not a description, that is just the name spelled out. A better
description would be equational theorem prover.
E is an automated equational
On Sun, 22 Feb 2009, Petr Pudlak (Debian) wrote:
yes, I thought that it would be a good idea, but I couldn't find exact
guidelines how
to do it. (Maybe it's just because I'm a bit tired after spending the whole
weekend
reading Debian documentation.)
I can package eprover according to
Hi,
thanks for valuable comments. The original description was meant as a kind of
mathematical joke, since the task of proving a theorem is in general
undecidable, so any theorem prover will get stuck forever on many (or most)
inputs. I didn't realize at first that tis would actually
16 matches
Mail list logo