Bug#156728: marked as done (ITP: spass -- An automated theorem prover)
Your message dated Mon, 26 Aug 2002 03:42:13 -0400
with message-id <E17jEVp-0004gD-00@auric.debian.org>
and subject line Bug#156728: fixed in spass 2.0-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 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; 14 Aug 2002 23:09:49 +0000
>From mk@mcqm.net Wed Aug 14 18:09:49 2002
Return-path: <mk@mcqm.net>
Received: from mail.gmx.net [213.165.64.20]
by master.debian.org with smtp (Exim 3.12 1 (Debian))
id 17f7Gu-0004nA-00; Wed, 14 Aug 2002 18:09:49 -0500
Received: (qmail 26780 invoked by uid 0); 14 Aug 2002 23:09:17 -0000
Received: from pc-s0199928.cogsci.ed.ac.uk (129.215.174.210)
by mail.gmx.net (mp002-rz3) with SMTP; 14 Aug 2002 23:09:17 -0000
Received: from marco by pc-s0199928.cogsci.ed.ac.uk with local (Exim 3.35 #1 (Debian))
id 17f7GN-0003AK-00
for <submit@bugs.debian.org>; Thu, 15 Aug 2002 00:09:15 +0100
Date: Thu, 15 Aug 2002 00:09:15 +0100
From: Marco Kuhlmann <mk@debian.org>
To: submit@bugs.debian.org
Subject: ITP: spass -- An automated theorem prover
Message-ID: <20020814230915.GB8748@localhost>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
protocol="application/pgp-signature"; boundary="8GpibOaaTibBMecb"
Content-Disposition: inline
User-Agent: Mutt/1.3.28i
Sender: Marco Kuhlmann <mk@mcqm.net>
Delivered-To: submit@bugs.debian.org
--8GpibOaaTibBMecb
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Package: spass
Severity: wishlist
SPASS is an automated theorem prover for first-order logic with
equality. From the project homepage:
If you are interested in first-order logic theorem proving, the
formal analysis of software, systems, protocols, formal
approaches to AI planning, decision procedures, modal logic
theorem proving, SPASS may offer you the right functionality.
If you are interested in sex, drugs, rock'n roll or fish, even
though our logo contains a nice drawing of Opistognathus
Latitabunda, you may be disappointed by the performance of
SPASS.
Address: http://refdb.sourceforge.net/
License: GPL2
- Marco =20
--=20
Marco Kuhlmann mk@debian.org
--8GpibOaaTibBMecb
Content-Type: application/pgp-signature
Content-Disposition: inline
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE9WuMaKwsh7RJ8uAgRAq42AJ48YAa+G88uNFDIYblyrPTj9N0fpACgpfWX
SVSsSmeDuzQnGJSm3gDOTX8=
=bNNm
-----END PGP SIGNATURE-----
--8GpibOaaTibBMecb--
---------------------------------------
Received: (at 156728-close) by bugs.debian.org; 26 Aug 2002 07:53:06 +0000
>From rdonald@auric.debian.org Mon Aug 26 02:53:06 2002
Return-path: <rdonald@auric.debian.org>
Received: from auric.debian.org [206.246.226.45] (mail)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17jEgM-0007wP-00; Mon, 26 Aug 2002 02:53:06 -0500
Received: from rdonald by auric.debian.org with local (Exim 3.35 1 (Debian))
id 17jEVp-0004gD-00; Mon, 26 Aug 2002 03:42:13 -0400
From: Marco Kuhlmann <mk@debian.org>
To: 156728-close@bugs.debian.org
X-Katie: $Revision: 1.17 $
Subject: Bug#156728: fixed in spass 2.0-1
Message-Id: <E17jEVp-0004gD-00@auric.debian.org>
Sender: Randall Donald <rdonald@auric.debian.org>
Date: Mon, 26 Aug 2002 03:42:13 -0400
Delivered-To: 156728-close@bugs.debian.org
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.0-1.diff.gz
to pool/main/s/spass/spass_2.0-1.diff.gz
spass_2.0-1.dsc
to pool/main/s/spass/spass_2.0-1.dsc
spass_2.0-1_i386.deb
to pool/main/s/spass/spass_2.0-1_i386.deb
spass_2.0.orig.tar.gz
to pool/main/s/spass/spass_2.0.orig.tar.gz
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 156728@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Marco Kuhlmann <mk@debian.org> (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: Thu, 22 Aug 2002 00:21:12 +0100
Source: spass
Binary: spass
Architecture: source i386
Version: 2.0-1
Distribution: unstable
Urgency: low
Maintainer: Marco Kuhlmann <mk@debian.org>
Changed-By: Marco Kuhlmann <mk@debian.org>
Description:
spass - An automated theorem prover for first-order logic with equality
Closes: 156728
Changes:
spass (2.0-1) unstable; urgency=low
.
* initial release (closes: #156728)
Files:
6cb9f888ca4b0cfe2616a004b47e4785 546 science optional spass_2.0-1.dsc
3574b96844a1754b952caea5f4e7a14d 865848 science optional spass_2.0.orig.tar.gz
45872aa599aa7dfaf1b8d893961b91d9 1751 science optional spass_2.0-1.diff.gz
36aadcc3ccc479394160b47c21f92b0b 1043268 science optional spass_2.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE9ZCDOKwsh7RJ8uAgRAgaFAKC75ZWFaKNdmg1P4/d6hgdngWPpswCeO8+i
444K7Lkv+Rf8WSo01DvfPOA=
=dQyz
-----END PGP SIGNATURE-----
Reply to: