Log in / Register
Ubuntu
p9m4 package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1627803
Comment #2
Comment 2 for bug 1627803
Revision history for this message
ap (ogokx-deactivatedaccount-deactivatedaccount)
wrote
on 2018-03-30
:
#2
prover9-mace4.py is missing
prover9-mace4.py is missing
prover9-mace4.py is missing