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
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_ satisfy
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
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 is invoked with --binary-arch, it still
tries
to build the whole project, including
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
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
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 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
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.
On Sun, 22 Feb 2009, Petr Pudlak wrote:
Package: wnpp
Severity
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
:
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
competition,
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
13 matches
Mail list logo
