Date: Tue, 18 Nov 2003 20:22:01 +0100 From: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de> To: Pav Lucistnik <pav@FreeBSD.org>, freebsd-ports@freebsd.org Subject: Re: ports/59406: [NEW PORT] smv model checker Message-ID: <opryulezh8dmv4ke@mailstore.fernuni-hagen.de> In-Reply-To: <200311181906.hAIJ6TrJ071335@freefall.freebsd.org> References: <200311181906.hAIJ6TrJ071335@freefall.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?opryulezh8dmv4ke>