{"name":"spin","portdir":"devel/spin","version":"6.5.2","license":"SPIN","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://spinroot.com","description":"The Spin model checker","long_description":"SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.","active":true,"categories":["devel"],"maintainers":[{"name":"jann","github":"roederja","ports_count":10}],"variants":[],"dependencies":[{"type":"build","ports":["bison","clang-18"]},{"type":"lib","ports":["tcl","tk"]}],"depends_on":[{"type":"build","ports":["gr1c"]}]}