The MacPorts Project

Skip to Content


MacPorts Portfiles

The MacPorts Project currently distributes 23511 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2020-04-06 at 14:22:32 UTC.


Or view the complete ports list (23511 ports).


Query Results

1 Portfile Selected

fstar-devel 20200330-244d3f3 (source)
General-purpose functional language aimed at program verification
Licenses: MIT
Maintained by:
Categories: lang devel
Platforms: darwin
Dependencies: coreutils fstar_select gmp ocaml ocaml-batteries ocaml-fileutils ocaml-findlib ocaml-menhir ocaml-migrate-parsetree ocaml-ocamlbuild ocaml-pprint ocaml-ppx_deriving ocaml-ppx_deriving_yojson ocaml-process ocaml-stdint ocaml-ulex ocaml-yojson ocaml-zarith realpath z3-fstar