Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
62 port(s) found

Page 4 of 4 | Showing port(s) 61 to 62


z3-fstar-legacy

Legacy F*-qualified release of the Z3 Theorem Prover

Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, pgo, lto, gmp, native, profile, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universal

zlib-ng

zlib replacement with optimizations for "next generation" systems.

Version: 2.3.3 | Maintained by: herbygillot | Categories: archivers | Variants: debug, native, universal

62 port(s) found

Page 4 of 4 | Showing port(s) 61 to 62