{"name":"kremlin_select","portdir":"lang/fstar","version":"1.3","license":"none","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://fstar-lang.org","description":"Obsolete port","long_description":"This port is obsolete.","active":true,"categories":["devel","lang"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":83}],"variants":[],"dependencies":[{"type":"build","ports":["clang-16"]},{"type":"extract","ports":[null]},{"type":"fetch","ports":[null]},{"type":"lib","ports":[null]},{"type":"patch","ports":[null]},{"type":"run","ports":[null]},{"type":"test","ports":[null]}],"depends_on":[{"type":"run","ports":["kremlin"]}]}