The latest F* release is this: https://github.com/FStarLang/FStar/releases/tag/V0.9.7.0-alpha1
Flagged Out-of-Date Comment: ocaml-fstar
catalin.hritcu flagged ocaml-fstar out-of-date on 2019-10-13 (UTC) for the following reason:
catalin.hritcu flagged ocaml-fstar out-of-date on 2019-10-13 (UTC) for the following reason:
The latest F* release is this: https://github.com/FStarLang/FStar/releases/tag/V0.9.7.0-alpha1