I should have said that it should be 'libxp6' for all versions of Ubuntu, not just Ubuntu 9.04.
Mark. on 12/7/10 9:21 AM, [email protected] wrote: > Ok - it seems it should be 'libxp6' not 'libxp'. That is, the instruction > for ancestor packages for installing OpenMotif on Ubuntu should be: > > apt-get install libxp6 > > All the other instructions should still hold - for example, it is still > 'libxp-dev'(and not 'libxp6-dev') for installing ProofPower 'xpp'. > > Thanks very much Roger, that was very valuable. Any more problems anyone, > please let me know. > > Mark. > > on 12/7/10 6:53 AM, Roger Bishop Jones <[email protected]> wrote: > >> On Sunday 11 Jul 2010 10:34, [email protected] >> wrote: >> >>> Please, anyone with any suggestions for improving the >>> clarity or scope of this file please contact me. >> >> Naively setting forth with your instructions on Ubuntu 9.04 >> fails on the first step with: >> >> Reading package lists... Done >> Building dependency tree >> Reading state information... Done >> E: Couldn't find package libxp >> >> Is this because your instructions will only work on a later >> version of Ubuntu? >> >> Roger Jones >> >> >> > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > > > _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
