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


Reset all filters
Results for "mpir"
4 port(s) found

mpir

Multiple Precision Integers and Rationals

Version: 3.0.0 | Maintained by: michaelld | Categories: devel math | Variants: universal

vampire

Vampire Theorem Prover

Version: 2021-08-04 | Maintained by: landonf | Categories: science math | Variants: debug, native, polly, profile, universal

mpir-devel

Multiple Precision Integers and Rationals

Version: 20201225-b3367eb1 | Maintained by: michaelld | Categories: devel math | Variants: universal

vms-empire

war simulation game

Version: 1.17 | Maintained by: | Categories: games | Variants: universal

4 port(s) found