I have been trying to install ProofPower on Ubuntu 16.04, without success.

The stumbling block comes early, in the prerequisites for installing OpenMotif, since some of these are not available in the usual repositories.

If anyone figures out how to get ProofPower installed on Ubuntu 16.04 I should be pleased to know how it can be done.

Roger Jones

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to