Bug#179568: ITP: mace -- Search for countermodels in equational logic

2003-02-03 Thread Antoine Mathys
Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: mace Version : 2.0 Upstream Author : Automated Reasoning Group at Argone National Laboratory [EMAIL PROTECTED] * URL : http://www-unix.mcs.anl.gov/AR/mace/ * License

Bug#179567: ITP: formed -- formula editor for first-order logic formulas

2003-02-03 Thread Antoine Mathys
Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: formed Version : 0.9 Upstream Author : Automated Reasoning Group at Argone National Laboratory [EMAIL PROTECTED] * URL : http://www.mcs.anl.gov/AR/otter/ * License

Bug#151847: marked as done (ITA: boa -- Lightweight and High Performance WebServer)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 05:32:12 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#151847: fixed in boa 0.94.13-3 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your

Bug#179588: ITP: cpad -- Linux drivers and utilities for the synaptics cPad

2003-02-03 Thread Ron
Package: wnpp Version: unavailable; reported 2003-02-03 Severity: wishlist * Package name: cpad Version : 0.5 Upstream Author : rob miller -- rob at janerob dot com * URL : http://www.janerob.com/rob/ts5100/cPad * License : GPL where stated, might need some

Bug#148991: marked as done (ITA: pspell -- Portable spell checker interface library)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 3 Feb 2003 14:02:05 +0100 with message-id [EMAIL PROTECTED] and subject line Gone has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the

Bug#176079: marked as done (IPA: upsd -- UPS Monitor Program)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 3 Feb 2003 14:00:52 +0100 with message-id [EMAIL PROTECTED] and subject line You opened a new bug instead of retitling the existing one has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not

Bug#166545: marked as done (O: scannerdaemon -- virus scanner written in Java)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 3 Feb 2003 13:56:22 +0100 with message-id [EMAIL PROTECTED] and subject line Removed has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the

Bug#148992: marked as done (O: pspell-ispell -- Ispell module for pspell)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 3 Feb 2003 14:02:05 +0100 with message-id [EMAIL PROTECTED] and subject line Gone has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the

Processed: WNPP cleanup

2003-02-03 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: close 160005 Bug#160005: ITP: snare -- SNARE graphical user interface Bug#125657: RFP: Snare - Audit subsystem for the Linux kernel Bug#160004: ITP: snare-core - SNARE audit kernel module and the audit daemon Bug closed, send any further explanations to

Bug#179603: ITP: libsnowpg-perl -- Wrapper class for PostgreSQL providing convenience functions

2003-02-03 Thread Pascal Hakim
Package: wnpp Version: N/A; reported 2003-02-04 Severity: wishlist * Package name: libsnowpg-perl Version : 1.12 Upstream Author : Andrew Snow (andrew at modulus dot org) * License : Copyright (c) 2003, Andrew Snow All rights reserved. Redistribution and use in source and

Bug#179604: ITP: gini -- A little audio and video streaming server and the tools for it. A remote controller and a feeder.

2003-02-03 Thread Robert Nagy
Package: wnpp Version: unavailable; reported 2003-02-03 Severity: wishlist * Package name: gini Version : 0.5.1 Upstream Author : Krisztian Pifko [EMAIL PROTECTED] * URL : http://gini.sourceforge.net * License : GPL Description : A little audio and video

Bug#173990: What is the status?

2003-02-03 Thread Goedson Teixeira Paixao
Hi Joe, Have you already made any gnotime package. If yes, where can it be found? -- Goedson Teixeira Paixao [EMAIL PROTECTED] Universidade Federal de Minas Gerais signature.asc Description: PGP signature

Bug#179604: ITP: gini -- A little audio and video streaming server and the tools for it. A remote controller and a feeder.

2003-02-03 Thread Gergely Nagy
There is already an ITP for gini: #177055.

Bug#158142: allegro

2003-02-03 Thread Adam Byrtek / alpha
I'll take the whole allegro4 source package, if you don't mind. -- _.|._ |_ _.: Adam Byrtek, alpha@(irc.pl|debian.org) (_|||_)| |(_|: gg 1802819, pgp 0xB25952C0 |: jid alpha.pl(at)jabber.org

Processed: ...

2003-02-03 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: retitle 158142 ITA: allegro4 -- portable library for cross-platform game and multimedia development Bug#158142: O: allegro4 -- portable library for cross-platform game and multimedia development Changed Bug title. -- Stopping processing here.

Bug#179016: marked as done (ITP: libclass-returnvalue-perl)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 13:51:08 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#179016: fixed in libclass-returnvalue-perl 0.40-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the

Bug#178488: marked as done (ITP: ARJ -- Open-source ARJ - open-source implementation of the world-famous ARJ archiver)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 13:41:04 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#178488: fixed in arj 3.10b-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your

Processed: *booh*

2003-02-03 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: retitle 179234 O: tubesock -- Free GTK/GNOME swf flash player written in C Bug#179234: O: tubesock Changed Bug title. retitle 179392 O: wanpipe -- Configuration utilities for Sangoma S508/S514 WAN cards Bug#179392: O: wanpipe Changed Bug title.

Bug#179017: marked as done (ITP: libtest-inline-perl)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 14:02:59 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#179017: fixed in libtest-inline-perl 0.15-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it

Bug#178953: marked as done (ITP: txt2man -- Converts flat ASCII text to man page format)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 14:03:29 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#178953: fixed in txt2man 1.4.7-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now

Bug#171586: marked as done (ITP: myspanish -- The myspell spanish dictionary for openoffice)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 14:19:26 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#171586: fixed in openoffice.org-spellcheck-es 0.0.2002.01.20-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If

Bug#124205: marked as done (ITP: libcrypt-gpg-perl -- An Object Oriented Interface to GnuPG.)

2003-02-03 Thread Debian Bug Tracking System
Your message dated Mon, 03 Feb 2003 14:33:09 -0500 with message-id [EMAIL PROTECTED] and subject line Bug#124205: fixed in libcrypt-gpg-perl 1.42-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it

Bug#179672: RFP: SQUASHFS -- A squashed read-only filesystem for Linux

2003-02-03 Thread Drew Scott Daniels
Subject: RFP: SQUASHFS -- A squashed read-only filesystem for Linux Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name : squashfs Version : 1.1b Upstream Author : Phillip Lougher [EMAIL PROTECTED] * URL : http://squashfs.sourceforge.net/ * License : GNU General