This port is obsolete. It has been replaced by karamel.
kremlin (lang/fstar) Updated: 3 years, 10 months ago Add to my watchlist
Obsolete port, replaced by karamelThis port has been replaced by karamel.
Version: 2022.06.08 License: none
GitHub
| Maintainers | landonf |
| Categories | devel lang |
| Homepage | https://fstar-lang.org |
| Platforms | darwin |
| Variants | - |
Subport(s) (6)
"kremlin" depends on
lib (0)
run (0)
build (1)
test (0)
extract (0)
patch (0)
fetch (0)
Ports that depend on "kremlin"
lib (3)test (1)
Port notes
To use this KreMLin toolchain with most standard Makefile-based F*/KreMLin projects, pass KRML_HOME to the build as either an environment variable, or make(1) parameter:
KRML_HOME="${prefix}/libexec/kremlin/home"
Port Health:
Loading Port Health