fstar_select (lang/fstar) Add to my watchlist
Obsolete portThis port is obsolete.
Version: 1.3 License: none GitHubMaintainers | 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)Port Health:
Loading Port Health