Total 11 Port(s) with Variant: gmp
Name Version Description
flusspferd 0.8 provides Javascript bindings for C++.
fricas 1.3.6 The Fricas computer algebra system
ruby21 2.1.9 Powerful and clean object-oriented scripting language
ruby22 2.2.10 Powerful and clean object-oriented scripting language
ruby23 2.3.8 Powerful and clean object-oriented scripting language
ruby24 2.4.10 Powerful and clean object-oriented scripting language
ruby25 2.5.8 Powerful and clean object-oriented scripting language
ruby26 2.6.6 Powerful and clean object-oriented scripting language
ruby27 2.7.1 Powerful and clean object-oriented scripting language
z3 4.8.8 Z3 Theorem Prover
z3-fstar 4.8.5 F*-qualified release of the Z3 Theorem Prover



Port Information was last updated at:
2020-07-13 15:52 (UTC)
3a6f6658

Latest build fetched has 'start time':
2020-07-13 15:46 (UTC)

Latest stats submission was received at:
2020-07-13 17:55 (UTC)