Public bug reported:
The xenial prover9-mace4 does not contain the binary file prover9-mace4
which is the graphical frontend to prover9 and mace4.
** Affects: p9m4 (Ubuntu)
Importance: Undecided
Status: New
--
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://bugs.launchpad.net/ubuntu/+source/p9m4/+bug/1627803/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
