Your message dated Tue, 4 Jan 2005 12:17:11 -0500
with message-id <[EMAIL PROTECTED]>
and subject line [EMAIL PROTECTED]: Returned mail: see transcript for details]
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; 3 Feb 2003 02:59:16 +0000
>From [EMAIL PROTECTED] Sun Feb 02 20:59:15 2003
Return-path: <[EMAIL PROTECTED]>
Received: from mail5.bluewin.ch [195.186.1.207]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 18fWpH-000861-00; Sun, 02 Feb 2003 20:59:15 -0600
Received: from leonov (62.203.91.99) by mail5.bluewin.ch (Bluewin AG 6.7.015)
id 3E106090003D0AB5; Mon, 3 Feb 2003 02:59:14 +0000
Received: from axm by leonov with local (Exim 3.35 #1 (Debian))
id 18fWpD-000104-00; Mon, 03 Feb 2003 03:59:11 +0100
From: Antoine Mathys <[EMAIL PROTECTED]>
To: Debian Bug Tracking System <[EMAIL PROTECTED]>
Subject: ITP: eqp -- A theorem prover for equational logic
X-Mailer: reportbug 1.50
Date: Mon, 03 Feb 2003 03:59:07 +0100
X-Debbugs-CC: debian-devel@lists.debian.org
Message-Id: <[EMAIL PROTECTED]>
Sender: Antoine Mathys <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
X-Spam-Status: No, hits=0.6 required=5.0
tests=SPAM_PHRASE_00_01
version=2.41
X-Spam-Level:
Package: wnpp
Version: N/A; reported 2003-02-03
Severity: wishlist
* Package name : eqp
Version : 09d
Upstream Author : Automated Reasoning Group at Argonne National
Laboratory <[EMAIL PROTECTED]>
* URL : http://www-unix.mcs.anl.gov/AR/eqp/
* License : available without restrictions
Description : A theorem prover for equational logic
EQP is an automated theorem prover for equational logic developed at
Argonne National Laboratory.
.
It has associative-commutative (AC) unification and matching, basic
paramodulation and several other strategies.
.
It seems to work well on many theorems about lattice-like structures
and proved the Robbins conjecture.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux leonov 2.4.18 #6 Sun Dec 29 08:30:49 CET 2002 i686
Locale: LANG=C, LC_CTYPE=
---------------------------------------
Received: (at 179556-close) by bugs.debian.org; 4 Jan 2005 17:17:14 +0000
>From [EMAIL PROTECTED] Tue Jan 04 09:17:14 2005
Return-path: <[EMAIL PROTECTED]>
Received: from ms-smtp-02.nyroc.rr.com [24.24.2.56]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1ClsJ0-0002pH-00; Tue, 04 Jan 2005 09:17:14 -0800
Received: from andromeda (syr-24-59-54-124.twcny.rr.com [24.59.54.124])
by ms-smtp-02.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id
j04HHCJj027750
for <[EMAIL PROTECTED]>; Tue, 4 Jan 2005 12:17:12 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.34)
id 1ClsIx-0007xc-EI
for [EMAIL PROTECTED]; Tue, 04 Jan 2005 12:17:11 -0500
Date: Tue, 4 Jan 2005 12:17:11 -0500
To: [EMAIL PROTECTED]
Subject: [EMAIL PROTECTED]: Returned mail: see transcript for details]
Message-ID: <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.6+20040907i
From: Justin Pryzby <[EMAIL PROTECTED]>
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Delivered-To: [EMAIL PROTECTED]
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-3.0 required=4.0 tests=BAYES_00 autolearn=no
version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
No other interest, closing.
----- Forwarded message from Mail Delivery Subsystem <[EMAIL PROTECTED]> -----
X-Original-To: [EMAIL PROTECTED]
From: Mail Delivery Subsystem <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: Returned mail: see transcript for details
Auto-Submitted: auto-generated (failure)
X-Spam-Score: -1.9 (-)
X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on steelfarms.net
X-Spam-Level:
X-Spam-Status: No, hits=0.0 required=5.0 tests=none autolearn=ham version=2.63
The original message was received at Tue, 4 Jan 2005 12:14:48 -0500 (EST)
from syr-24-59-54-124.twcny.rr.com [24.59.54.124]
----- The following addresses had permanent fatal errors -----
<[EMAIL PROTECTED]>
(reason: 550 Unknown user)
----- Transcript of session follows -----
... while talking to siufsrv104.unifr.ch.:
>>> DATA
<<< 550 Unknown user
550 5.1.1 <[EMAIL PROTECTED]>... User unknown
<<< 503 valid RCPT command must precede DATA
Reporting-MTA: dns; ms-smtp-01.nyroc.rr.com
Received-From-MTA: DNS; syr-24-59-54-124.twcny.rr.com
Arrival-Date: Tue, 4 Jan 2005 12:14:48 -0500 (EST)
Final-Recipient: RFC822; [EMAIL PROTECTED]
Action: failed
Status: 5.1.1
Remote-MTA: DNS; siufsrv104.unifr.ch
Diagnostic-Code: SMTP; 550 Unknown user
Last-Attempt-Date: Tue, 4 Jan 2005 12:14:53 -0500 (EST)
Received: from andromeda (syr-24-59-54-124.twcny.rr.com [24.59.54.124])
by ms-smtp-01.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id
j04HEmK3012140;
Tue, 4 Jan 2005 12:14:48 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.34)
id 1ClsGd-0007vm-KY; Tue, 04 Jan 2005 12:14:47 -0500
Precedence: bulk
Mail-Followup-To: [EMAIL PROTECTED], [EMAIL PROTECTED]
Mail-Reply-To: [EMAIL PROTECTED], [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED], [EMAIL PROTECTED]
Subject: Outstanding ITP - eqp
To: "Antoine Mathys" <[EMAIL PROTECTED]>, <[EMAIL PROTECTED]>
X-Mailer: mail (GNU Mailutils 0.5)
Message-Id: <[EMAIL PROTECTED]>
From: Justin Pryzby <[EMAIL PROTECTED]>
Date: Tue, 04 Jan 2005 12:14:47 -0500
X-Virus-Scanned: Symantec AntiVirus Scan Engine
----- End forwarded message -----
--
Justin
aptitude install task-iraf saods9 eclipse sextractor x11iraf wcstools
http://www.justinpryzby.com/debian/
References
[0]
