Ubuntu
p9m4 package

1 → 1 of 1 result First • Previous • Next • Last
Undecided
Confirmed
#1627803 the prover9-mace4 binary is not present in the package
p9m4 (Ubuntu) 10
1 → 1 of 1 result First • Previous • Next • Last

"p9m4" versions published in Ubuntu

Bionic (0.5.dfsg-3): universe/math
Xenial (0.5.dfsg-3): universe/math
Trusty (0.5.dfsg-2.1): universe/math