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

Reply via email to