kremlin_select (lang/fstar) Add to my watchlist

Obsolete port

This port is obsolete.

Version: 1.3 License: none GitHub
Maintainers landonf
Categories devel lang
Homepage https://fstar-lang.org
Platforms darwin
Variants -

Subport(s) (5)


"kremlin_select" depends on

build (1)
lib (0)
extract (0)
run (0)
patch (0)
test (0)
fetch (0)

Ports that depend on "kremlin_select"



Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0