Maintainers	landonf
Categories	devel lang
Homepage	https://fstar-lang.org
Platforms	darwin
Variants	-

Subport(s) (5)

"fstar_select" depends on

build (1)

lib (0)

extract (0)

run (0)

patch (0)

test (0)

fetch (0)

Ports that depend on "fstar_select"

run (1)