Bug 59429

Summary: [NEW PORT] devel/smv - a model checker for CTL
Product: Ports & Packages Reporter: Marc van Woerkom <woerkom>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.shar none

Description Marc van Woerkom 2003-11-18 18:40:09 UTC 
[NEW PORT] smv - a model checker for CTL

Fix: Here is the port
Regards,
Marc
Comment 1 Pav Lucistnik freebsd_committer freebsd_triage 2003-12-13 01:22:59 UTC 
State Changed
From-To: open->closed

New port added, thanks!