the prover9-mace4 binary is not present in the package
Bug #1627803 reported by
Miklos Maroti
This bug affects 2 people
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| p9m4 (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned | ||
Bug Description
The xenial prover9-mace4 does not contain the binary file prover9-mace4 which is the graphical frontend to prover9 and mace4.
Revision history for this message
| Launchpad Janitor (janitor) wrote | #1 |
| Changed in p9m4 (Ubuntu): | |
| status: | New → Confirmed |
Revision history for this message
| ap (ogokx-deactivatedaccount-deactivatedaccount) wrote | #2 |
To post a comment you must log in.
Status changed to 'Confirmed' because the bug affects multiple users.