{"name":"kremlin-devel","portdir":"lang/fstar","version":"20210824-b95d1ac","license":"none","platforms":"darwin","epoch":0,"replaced_by":"fstar","homepage":"https://fstar-lang.org","description":"Obsolete port, replaced by fstar","long_description":"This port has been replaced by fstar.","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":[]}