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:
&g
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 warn
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 architetu
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
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 pr
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 discour
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-
science.alioth.debian.org/debi
7 matches
Mail list logo
