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 Jussi,
> 2) It would be interesting to know where those .dat files come from and
>whether there exists some kind of source for them. In the package itself
>I could not find any information about that.
do you have any information about this?
Regards,
Daniel
--
Address:Daniel
Hi.
Lets not further leave this package in limbo. The current situation is
as follows:
1) REJECT for missing copyright holders in debian/copyright. That should
be easily fixable.
2) It would be interesting to know where those .dat files come from and
whether there exists some kind of sourc
On Sun, Feb 22, 2009 at 2:39 PM, Maximilian Gaß wrote:
> Upstream Author : Nico Golde and Andreas Krennmair
Nico Golde is a Debian Developer, and a member of the Testing Security
Team. I think this suggests two things.
First, this package may be related to security audits.
Second, there may be
On Sun, Feb 22, 2009 at 11:39:53PM +0100, Maximilian Gaß wrote:
> Package: wnpp
> Severity: wishlist
> Owner: "Maximilian Gaß"
> * Package name: w3bfukk0r
> Version : 0.2
> Upstream Author : Nico Golde and Andreas Krennmair
> * URL : http://www.ngolde.de/w3bfukk0r.html
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-de...@lists.debian.org
Package name: sysbench
Version: 0.4.10
Upstream Author: Alexey Kopytov (kaamos at users.sourceforge.net)
URL: http://sysbench.sourceforge.net
L
reassign ftp.debian.org
retitle RM: pas2html -- RoQA; orphaned, low popcon
Hi!
Please see the following reasons for the removal request:
* Package is orphaned.
* Few users - a popcon of 20 users only.
Package has no reverse depends.
Thank you!
--
Marco Rodrigues
http://Marco.Tondela.org
Processing commands for cont...@bugs.debian.org:
> retitle 512829 RM: pas2html -- RoQA; orphaned, low popcon
Bug#512829: O: pas2html -- tool to convert Pascal and Modula-2 sources to
webpage
Changed Bug title to `RM: pas2html -- RoQA; orphaned, low popcon' from `O:
pas2html -- tool to convert Pa
Processing commands for cont...@bugs.debian.org:
> reassign 512829 ftp.debian.org
Bug#512829: RM: pas2html -- RoQA; orphaned, low popcon
Bug reassigned from package `wnpp' to `ftp.debian.org'.
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug track
Processing commands for cont...@bugs.debian.org:
> unarchive 325159
Bug 325159 [wnpp] ITP: owfs -- one-wire: support for the Dallas 1-wire bus
Bug 338124 [wnpp] ITP: owfs -- one-wire: support for the Dallas 1-wire bus
Unarchived Bug 325159
Unarchived Bug 338124
> unarchive 338124
Bug []
> reopen
Your message dated Sun, 22 Feb 2009 22:59:16 +
with message-id
and subject line Bug#51: fixed in bustle 0.1-1
has caused the Debian Bug report #51,
regarding ITP: bustle -- D-Bus activity visualiser
to be marked as done.
This means that you claim that the problem has been dealt with.
Package: wnpp
Severity: wishlist
Owner: "Maximilian Gaß"
* Package name: w3bfukk0r
Version : 0.2
Upstream Author : Nico Golde and Andreas Krennmair
* URL : http://www.ngolde.de/w3bfukk0r.html
* License : MIT
Programming Lang: C
Description : scan webse
I've been waiting, and waiting, and waiting for some sign that Debian
plans to support python 3. I understand the (apparent) decision to
wait until python 3.1. Debian is the new OpenBSD, and doesn't include
new versions of packages promptly if doing so would threaten the
stability of any existing a
does this package offer any advantage over using octave? the
functionality seem to be a strict subset
Jan Hendrik den Besten wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Jan Hendrik den Besten
>
>
> * Package name: fudgit
> Version : 2.43-gudjon
> Upstream Author : Jan Hen
Based on the package for Ubuntu hardy [1] I built a Debian package. This
will be tested in a development environment in the next days.
If anyone is interested, I can make the packages publically available.
I also offer to take this RFP, turn it into an ITP and become
(co-)maintainer of the package
Hi Jan,
this might be an interesting add on for Debian Science Viewing task.
Would you consider group maintenance in the Debian Science team?
Kind regards
Andreas.
On Sun, 22 Feb 2009, Jan Hendrik den Besten wrote:
Package: wnpp
Severity: wishlist
Owner: Jan Hendrik den Besten
* Pack
Package: wnpp
Severity: wishlist
Owner: Guillaume Yziquel
* Package name: pgocaml
Version : 1.1
Upstream Author : Richard W.M. Jones
* URL : http://developer.berlios.de/projects/pgocaml/
* License : LGPL
Programming Lang: OCaml
Description : OCaml typ
Package: wnpp
Severity: wishlist
Owner: Jan Hendrik den Besten
* Package name: fudgit
Version : 2.43-gudjon
Upstream Author : Jan Hendrik den Besten
* URL : http://www.bbphotonics.eu/fudgit
* License : GPL
Programming Lang: C
Description : A double-pr
Processing commands for cont...@bugs.debian.org:
> # Sun Feb 22 19:03:37 UTC 2009
> # Tagging as pending bugs that are closed by packages in NEW
> # http://ftp-master.debian.org/new.html
> #
> # Source package in NEW: scilab
> tags 499565 + pending
Bug#499565: basic matrix computations give incorr
Hi, I Almost have packages for 64 & 32 bit's, for lenny and etch
I am reading the manual for packing in Debian.
But I have a question, In what section should be (main, contrib, non-free)?
If someone if packing the package, please tellme, and if nobody is packing
mupen, I want to package it.
T
On 2009-02-22 Elimar Riesebieter wrote:
> * Andreas Metzler [090222 17:42 +0100]
>> On 2009-02-22 Elimar Riesebieter wrote:
[...]
>>> I want to prepare alsa-lib 1.0.19 for upload. Building alsa-lib on i386 and
>>> amd64 gives:
>>> ...
>>> checking for strip... strip
>>> checking for cross-compile
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
http://d
Package: wnpp
Severity: wishlist
Owner: Andrew Gee
Package Name : osm-gps-map
Version : 0.2
Upstream Author : John Stowers
URL : http://nzjrs.github.com/osm-gps-map/
License : GPL 3
Programming Language : C and Python
Des
Your message dated Sun, 22 Feb 2009 17:17:04 +
with message-id
and subject line Bug#454074: fixed in signing-party 1.1-1
has caused the Debian Bug report #454074,
regarding ITP: gpgwrap -- Passphrase wrapper for GNU pgp)
to be marked as done.
This means that you claim that the problem has be
Your message dated Sun, 22 Feb 2009 17:17:04 +
with message-id
and subject line Bug#498167: fixed in signing-party 1.1-1
has caused the Debian Bug report #498167,
regarding ITP: gpgdir -- recursive directory encryption with GnuPG
to be marked as done.
This means that you claim that the probl
On Sun, 22 Feb 2009 17:42:06 +0100
Andreas Metzler wrote:
> On 2009-02-22 Elimar Riesebieter wrote:
> > Package: wnpp
> > Severity: normal
>
> > Hi Debian ALSA developers,
>
> > I want to prepare alsa-lib 1.0.19 for upload. Building alsa-lib on i386 and
> > amd64 gives:
> > ...
> > checking fo
* Andreas Metzler [090222 17:42 +0100]
> On 2009-02-22 Elimar Riesebieter wrote:
> > Package: wnpp
> > Severity: normal
>
> > Hi Debian ALSA developers,
>
> > I want to prepare alsa-lib 1.0.19 for upload. Building alsa-lib on i386 and
> > amd64 gives:
> > ...
> > checking for strip... strip
> >
Package: wnpp
Severity: wishlist
Package Name : gpxviewer
Version : 0.1
Upstream Author : Andrew Gee
URL : http://andrewgee.org/blog/gpxviewer
License : GPL 3
Programming Language : Python
Description : application to v
On 2009-02-22 Elimar Riesebieter wrote:
> Package: wnpp
> Severity: normal
> Hi Debian ALSA developers,
> I want to prepare alsa-lib 1.0.19 for upload. Building alsa-lib on i386 and
> amd64 gives:
> ...
> checking for strip... strip
> checking for cross-compiler... i486-i486-pc-linux-gnu-gcc
> c
Processing commands for cont...@bugs.debian.org:
> owner 516609 Andrew Gee
Bug 516609 [wnpp] ITP: gpxviewer -- application to view GPS tracks in the GPX
format
Owner recorded as Andrew Gee .
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracki
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
Package: wnpp
Severity: normal
Hi Debian ALSA developers,
I want to prepare alsa-lib 1.0.19 for upload. Building alsa-lib on i386 and
amd64 gives:
...
checking for strip... strip
checking for cross-compiler... i486-i486-pc-linux-gnu-gcc
checking for i486-linux-gnu-gcc... i486-i486-pc-linux-gnu-gc
Hi,
libnet0 is dead upstream and there is libnet1, so why should libnet0 be
adopted instaed of removed _now_, at the beginning of the squeeze circle?!
regards,
Holger
signature.asc
Description: This is a digitally signed message part.
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
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
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 an
36 matches
Mail list logo
