From owner-freebsd-ports@FreeBSD.ORG  Tue Nov 18 11:22:41 2003
Return-Path: <owner-freebsd-ports@FreeBSD.ORG>
Delivered-To: freebsd-ports@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP
	id 2FCEC16A4CE; Tue, 18 Nov 2003 11:22:41 -0800 (PST)
Received: from oak.FernUni-Hagen.de (oak.fernuni-hagen.de [132.176.114.41])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id 1B7A043FE3; Tue, 18 Nov 2003 11:22:40 -0800 (PST)
	(envelope-from q5480035@mailstore.FernUni-Hagen.de)
Received: from amavis by oak.FernUni-Hagen.de with scanned-ok (Exim 4.04)
	id 1AMBQt-0007IF-00; Tue, 18 Nov 2003 20:22:39 +0100
Received: from mailstore.fernuni-hagen.de ([132.176.114.185])
	by oak.FernUni-Hagen.de with esmtp (Exim 4.04)
	id 1AMBQm-0007Hz-00; Tue, 18 Nov 2003 20:22:32 +0100
Received: from [217.0.103.195] (account q5480035 HELO oranje.my.domain)
  by mailstore.fernuni-hagen.de (CommuniGate Pro SMTP 4.0.6)
  with ESMTP id 2758595; Tue, 18 Nov 2003 20:22:29 +0100
Date: Tue, 18 Nov 2003 20:22:01 +0100
To: Pav Lucistnik <pav@FreeBSD.org>, freebsd-ports@freebsd.org
References: <200311181906.hAIJ6TrJ071335@freefall.freebsd.org>
From: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de>
Organization: =?iso-8859-1?Q?FernUniversit=E4t_in_Hagen?=
Content-Type: text/plain; format=flowed; charset=iso-8859-1
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Message-ID: <opryulezh8dmv4ke@mailstore.fernuni-hagen.de>
In-Reply-To: <200311181906.hAIJ6TrJ071335@freefall.freebsd.org>
User-Agent: Opera7.21/FreeBSD M2 build 497
X-Virus-Scanned: by AMaViS perl-11
Subject: Re: ports/59406: [NEW PORT] smv model checker
X-BeenThere: freebsd-ports@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Porting software to FreeBSD <freebsd-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
	<mailto:freebsd-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports>
List-Post: <mailto:freebsd-ports@freebsd.org>
List-Help: <mailto:freebsd-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
	<mailto:freebsd-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 18 Nov 2003 19:22:41 -0000

On Tue, 18 Nov 2003 11:06:29 -0800 (PST), Pav Lucistnik <pav@FreeBSD.org> 
wrote:

> Synopsis: [NEW PORT] smv model checker
>
> State-Changed-From-To: open->closed
> State-Changed-By: pav
> State-Changed-When: Tue Nov 18 11:06:03 PST 2003
> State-Changed-Why:
> Working shar is in ports/59429.
>
> http://www.freebsd.org/cgi/query-pr.cgi?pr=59406

Thank you guys, I already wondered where the first PR went.

Why did my first submission got all wrong:

I usually submit PRs via the web interface and found it closed
this time.
My reguluar box is connected to an ISP and has no valid domain,
and I didn't manage to configure sendmail to drop mail at
my University account - so send-pr doesn't work from the
commandline on that box because the mail doesn't get out. :(
(Any hint for configuring sendmail is welcome)

What I did was pasting the send-pr output in Opera's
mail client.
Obviously I screwed several fields of the GNATs report form. :(

Today I resent via a FreeBSD box within the University which
has a 24/7 connection etc where sendmail worked.

Regards,
Marc