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