Maintainer:
Category:
Variant:
File installed:
Port version:
Results for "fstar"
5 port(s) foundfstar
General-purpose functional language aimed at program verification
Version: 2022.06.08 | Maintained by: landonf | Categories: devel lang | Variants:hfstar
gnutar with HFS+ support
Version: 1.13.19 | Maintained by: | Categories: archivers | Variants: universalz3-fstar
F*-qualified release of the Z3 Theorem Prover
Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, pgo, universalfstar-devel
Obsolete port, replaced by fstar
Version: 20210824-b95d1ac | Maintained by: landonf | Categories: devel lang | Variants:fstar_select
Obsolete port
Version: 1.3 | Maintained by: landonf | Categories: devel lang | Variants:5 port(s) found