Bug#179651: marked as done (ITP: sem -- find models of given logical theories)
Your message dated Tue, 4 Jan 2005 12:40:20 -0500
with message-id <20050104174020.GA31521@andromeda>
and subject line [MAILER-DAEMON@ms-smtp-04.nyroc.rr.com: 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 20:17:15 +0000
>From Antoine.Mathys@unifr.ch Mon Feb 03 14:17:14 2003
Return-path: <Antoine.Mathys@unifr.ch>
Received: from mail1.bluewin.ch [195.186.1.74]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 18fn1m-0007Ud-00; Mon, 03 Feb 2003 14:17:14 -0600
Received: from leonov (62.203.26.196) by mail1.bluewin.ch (Bluewin AG 6.7.015)
id 3E383FE100091E7F; Mon, 3 Feb 2003 20:17:12 +0000
Received: from axm by leonov with local (Exim 3.35 #1 (Debian))
id 18fn1G-0005Je-00; Mon, 03 Feb 2003 21:16:42 +0100
From: Antoine Mathys <Antoine.Mathys@unifr.ch>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: sem -- find models of given logical theories
X-Mailer: reportbug 1.50
Date: Mon, 03 Feb 2003 21:16:35 +0100
X-Debbugs-CC: debian-devel@lists.debian.org
Message-Id: <E18fn1G-0005Je-00@leonov>
Sender: Antoine Mathys <Antoine.Mathys@unifr.ch>
Delivered-To: submit@bugs.debian.org
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 : sem
Version : 1.7
Upstream Author : Jian Zhang <jizhang@cs.uiowa.edu>
Hantao Zhang <hzhang@cs.uiowa.edu>
* URL : http://www.cs.uiowa.edu/~hzhang/sem.html
* License : none
Description : find models of given logical theories
SEM is a System for Enumerating finite Models. Given a theory
defined by some axioms, the program tries to find one model or a
specified number of models. The size of the model(s) should be finite,
and given by the user. Essentially the program performs an exhaustive
search.
.
Homepage: http://www.cs.uiowa.edu/~hzhang/sem.html
-- 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 179651-done) by bugs.debian.org; 4 Jan 2005 17:40:23 +0000
>From justinpryzby@users.sourceforge.net Tue Jan 04 09:40:23 2005
Return-path: <justinpryzby@users.sourceforge.net>
Received: from ms-smtp-02.nyroc.rr.com [24.24.2.56]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1ClsfP-0006bB-00; Tue, 04 Jan 2005 09:40:23 -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 j04HeKJj021441
for <179651-done@bugs.debian.org>; Tue, 4 Jan 2005 12:40:21 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.34)
id 1ClsfM-0008DG-80
for 179651-done@bugs.debian.org; Tue, 04 Jan 2005 12:40:20 -0500
Date: Tue, 4 Jan 2005 12:40:20 -0500
To: 179651-done@bugs.debian.org
Subject: [MAILER-DAEMON@ms-smtp-04.nyroc.rr.com: Returned mail: see transcript for details]
Message-ID: <20050104174020.GA31521@andromeda>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.6+20040907i
From: Justin Pryzby <justinpryzby@users.sourceforge.net>
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Delivered-To: 179651-done@bugs.debian.org
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:
bounce+no interest=close
Justin
----- Forwarded message from Mail Delivery Subsystem <MAILER-DAEMON@ms-smtp-04.nyroc.rr.com> -----
X-Original-To: pryzbyj@justinpryzby.com
From: Mail Delivery Subsystem <MAILER-DAEMON@ms-smtp-04.nyroc.rr.com>
To: justinpryzby@users.sourceforge.net
Subject: Returned mail: see transcript for details
Auto-Submitted: auto-generated (failure)
X-Spam-Score: -2.6 (--)
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:38:18 -0500 (EST)
from syr-24-59-54-124.twcny.rr.com [24.59.54.124]
----- The following addresses had permanent fatal errors -----
<Antoine.Mathys@unifr.ch>
(reason: 550 Unknown user)
----- Transcript of session follows -----
... while talking to siufsrv104.unifr.ch.:
>>> DATA
<<< 550 Unknown user
550 5.1.1 <Antoine.Mathys@unifr.ch>... User unknown
<<< 503 valid RCPT command must precede DATA
Reporting-MTA: dns; ms-smtp-04.nyroc.rr.com
Received-From-MTA: DNS; syr-24-59-54-124.twcny.rr.com
Arrival-Date: Tue, 4 Jan 2005 12:38:18 -0500 (EST)
Final-Recipient: RFC822; Antoine.Mathys@unifr.ch
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:38:21 -0500 (EST)
Received: from andromeda (syr-24-59-54-124.twcny.rr.com [24.59.54.124])
by ms-smtp-04.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id j04HcIpl000588;
Tue, 4 Jan 2005 12:38:18 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.34)
id 1ClsdN-0008BC-VE; Tue, 04 Jan 2005 12:38:18 -0500
Precedence: bulk
Mail-Followup-To: 179651-quiet@bugs.debian.org, justinpryzby@users.sf.net
Mail-Reply-To: 179651-quiet@bugs.debian.org, justinpryzby@users.sf.net
Reply-To: 179651-quiet@bugs.debian.org, justinpryzby@users.sourceforge.net
Subject: Outstanding ITP - sem
To: "Antoine Mathys" <Antoine.Mathys@unifr.ch>, <179651-quiet@bugs.debian.org>
X-Mailer: mail (GNU Mailutils 0.5)
Message-Id: <E1ClsdN-0008BC-VE@andromeda>
From: Justin Pryzby <justinpryzby@users.sourceforge.net>
Date: Tue, 04 Jan 2005 12:38:17 -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]
Reply to: