{"name":"kremlin","portdir":"lang/fstar","version":"2022.06.08","license":"none","platforms":"darwin","epoch":0,"replaced_by":"karamel","homepage":"https://fstar-lang.org","description":"Obsolete port, replaced by karamel","long_description":"This port has been replaced by karamel.","active":true,"categories":["devel","lang"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":84}],"variants":[],"dependencies":[{"type":"build","ports":["clang-18"]},{"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":"test","ports":["fstar"]}]}