Bug#214950: marked as done (ITA: spass)
Your message dated Sat, 11 Oct 2003 11:17:19 -0400
with message-id <E1A8LUd-0005Ai-00@auric.debian.org>
and subject line Bug#214950: fixed in spass 2.1-2
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 report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 9 Oct 2003 15:04:29 +0000
>From mk@mcqm.net Thu Oct 09 10:04:28 2003
Return-path: <mk@mcqm.net>
Received: from uni-sb.de [134.96.252.33]
by master.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1A7cL5-00032g-00; Thu, 09 Oct 2003 10:04:27 -0500
Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31])
by uni-sb.de (8.12.10/2003073000) with ESMTP id h99F4PDx028911;
Thu, 9 Oct 2003 17:04:26 +0200 (CEST)
Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200])
by cs.uni-sb.de (8.12.10/2003091100) with ESMTP id h99F3uNJ027130;
Thu, 9 Oct 2003 17:04:25 +0200 (CEST)
Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68])
by mail.cs.uni-sb.de (8.12.10/2003073000) with ESMTP id h99F2Xji009035;
Thu, 9 Oct 2003 17:02:33 +0200 (CEST)
X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de
Received: from wimsey (wimsey.ps.uni-sb.de [134.96.186.10])
by ps.uni-sb.de (8.11.6/8.11.0) with ESMTP id h99F2XS13054;
Thu, 9 Oct 2003 17:02:33 +0200
Received: from marco by wimsey with local (Exim 3.36 #1 (Debian))
id 1A7c7R-0001Rs-00; Thu, 09 Oct 2003 16:50:21 +0200
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Marco Kuhlmann <mk@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: RFA: spass
X-Mailer: reportbug 2.29
Date: Thu, 09 Oct 2003 16:50:21 +0200
Message-Id: <[🔎] E1A7c7R-0001Rs-00@wimsey>
Sender: Marco Kuhlmann <mk@mcqm.net>
Delivered-To: submit@bugs.debian.org
X-Spam-Status: No, hits=-6.0 required=4.0
tests=BAYES_30,HAS_PACKAGE
version=2.53-bugs.debian.org_2003_10_09
X-Spam-Level:
X-Spam-Checker-Version: SpamAssassin 2.53-bugs.debian.org_2003_10_09 (1.174.2.15-2003-03-30-exp)
Package: wnpp
Version: unavailable; reported 2003-10-09
Severity: normal
I plan to retire from Debian at the end of this year, and
therefore I'm offering my packages for adoption.
Maintaining spass is an easy job that would fit even novice
maintainers. The package uses debhelper, and the only thing
included in the diff except for the Debian control files is a
set of manpages that did not make it into the upstream release,
but will be included in the new version. These manpages were
provided by upstream, which has been very cooperative and
interested in having SPASS in Debian, by the way.
There are currently no bugs filed against SPASS. New uploads
should update the control field to follow the latest version of
the Debian policy.
Best,
Marco
-- System Information:
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux wimsey 2.4.20-1-686 #1 Sat Mar 22 13:16:21 EST 2003 i686
Locale: LANG=de_DE@euro, LC_CTYPE=de_DE@euro
---------------------------------------
Received: (at 214950-close) by bugs.debian.org; 11 Oct 2003 15:27:16 +0000
>From katie@auric.debian.org Sat Oct 11 10:27:15 2003
Return-path: <katie@auric.debian.org>
Received: from auric.debian.org [206.246.226.45]
by master.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1A8LeF-0002s8-00; Sat, 11 Oct 2003 10:27:15 -0500
Received: from katie by auric.debian.org with local (Exim 3.35 1 (Debian))
id 1A8LUd-0005Ai-00; Sat, 11 Oct 2003 11:17:19 -0400
From: Roland Stigge <stigge@antcom.de>
To: 214950-close@bugs.debian.org
X-Katie: $Revision: 1.37 $
Subject: Bug#214950: fixed in spass 2.1-2
Message-Id: <E1A8LUd-0005Ai-00@auric.debian.org>
Sender: Archive Administrator <katie@auric.debian.org>
Date: Sat, 11 Oct 2003 11:17:19 -0400
Delivered-To: 214950-close@bugs.debian.org
Source: spass
Source-Version: 2.1-2
We believe that the bug you reported is fixed in the latest version of
spass, which is due to be installed in the Debian FTP archive:
spass_2.1-2.diff.gz
to pool/main/s/spass/spass_2.1-2.diff.gz
spass_2.1-2.dsc
to pool/main/s/spass/spass_2.1-2.dsc
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 214950@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Roland Stigge <stigge@antcom.de> (supplier of updated spass package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 11 Oct 2003 13:59:36 +0200
Source: spass
Binary: spass
Architecture: source
Version: 2.1-2
Distribution: unstable
Urgency: low
Maintainer: Roland Stigge <stigge@antcom.de>
Changed-By: Roland Stigge <stigge@antcom.de>
Description:
spass - An automated theorem prover for first-order logic with equality
Closes: 214950
Changes:
spass (2.1-2) unstable; urgency=low
.
* New maintainer (Closes: #214950)
* Set debhelper version compatibility level to 4
* Adjusted debian/copyright
* Standards-Version: 3.6.1
Files:
2bf6a3186763db0c2c99feb8b4c7ddad 547 science optional spass_2.1-2.dsc
401e88431664bb597e63a5956870f0a1 14171 science optional spass_2.1-2.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
iD4DBQE/iB3TcaH/YBv43g8RAs9VAKDnogNJpgT/KubwmtFpNodtB4OepwCWOa3J
Mo+nndr4cn/DWSILs/17OQ==
=wVvL
-----END PGP SIGNATURE-----
Reply to: