Date: Mon, 17 Nov 2003 22:11:41 -0800 (PST) From: Mark Linimon <linimon@FreeBSD.org> To: linimon@FreeBSD.org, gnats-admin@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/59406: [NEW PORT] smv model checker Message-ID: <200311180611.hAI6BfOp022591@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [NEW PORT] smv model checker Responsible-Changed-From-To: gnats-admin->freebsd-ports-bugs Responsible-Changed-By: linimon Responsible-Changed-When: Mon Nov 17 22:10:46 PST 2003 Responsible-Changed-Why: Reset confidential flag and assign to proper category and responsible. 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?200311180611.hAI6BfOp022591>