{"name":"nusmv","portdir":"devel/nusmv","version":"2.6.0","license":"LGPL-2.1","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://nusmv.fbk.eu","description":"The NuSMV model checker","long_description":"The NuSMV model checker","active":true,"categories":["devel","math"],"maintainers":[],"variants":["debug"],"dependencies":[{"type":"build","ports":["cmake","pkgconfig","python27","clang-18"]},{"type":"lib","ports":["readline","libxml2"]}],"depends_on":[]}