prover9-mace4.py is missing
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1627803
Title:
the prover9-mace4 binary is not present in the package
To manage notifications about this bug go to:
https:/
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: p9m4 (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1627803
Title:
the p
