Date: Tue, 18 Nov 2003 11:06:29 -0800 (PST) From: Pav Lucistnik <pav@FreeBSD.org> To: marc.vanwoerkom@fernuni-hagen.de, pav@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/59406: [NEW PORT] smv model checker Message-ID: <200311181906.hAIJ6TrJ071335@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200311181906.hAIJ6TrJ071335>