On 24 Sep 2013, at 12:15, Bertrand Desmons <bertrand.desmons@umons.ac.be> wrote:
> the repo was well added, but I had the error that the 'opam' package was not found. I'm running Ubuntu Precise on a 64-bit machine. From what I see here:
> https://launchpad.net/~avsm/+archive/ppa/+packages
> it seems that the opam package is only available for Raring... But on the "testing" repository, I confirm that opam is available, even for Precise - though I didn't install it that way.

You need to use avsm/ppa-testing to get the i386 packages and Raring/Precise/Quantal ones.  I haven't updated avsm/ppa with the OPAM-1.0 packages for various reasons.  As soon as OPAM 1.1 is out, I'll update the stable PPA.

cheers,
Anil