Package: libgmp3c2
Version: 2:4.3.2+dfsg-1
Severity: normal
After upgrading to wheezy, my installation of Glasgow Haskell Compiler
stopped working. Neither it was possible to reinstall it, the installer
was unable to start. The problem was caused by missing libgmp3c2.
Workaround: Install an old v
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_
Hi,
I'm looking for a sponsor to upload an updated version 1.0.004-2 of the
package. There are just minor changes from version 1.0.004-1:
- Fixed FTBFS when calling pbuilder with --binary-arch (see bug #521918).
- Removed unnecessary dependencies from debian/control.
The package shoul
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 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
Petr
On Sunday 22 February 2009 14:10:11 Andreas Tille wrote:
> 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.
>
and usually been the strongest free software system.
Petr
On Sunday 22 February 2009 16:18:58 Guus Sliepen wrote:
> On Sun, Feb 22, 2009 at 09:57:04AM +0100, Petr Pudlak wrote:
> > * Package name: eprover
> > Description : The Equational Theorem Prover E
>
> That is
Andreas Tille wrote:
> 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
* Package name: eprover
Version : 1.0.004
Upstream Author : Stephan Schulz
* URL : http://www.eprover.org/
* License : GPL-2
Programming Lang: C
Description : The Equational Theorem Prover E
E is
13 matches
Mail list logo
