From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 757D87EE4B for ; Tue, 24 Sep 2013 20:29:16 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisGAIjZQVJZELGadGdsb2JhbABaDgiDKa0xk3iBNg4BDBUIPIIlAQEFeRALBAETLlcGE4gJCLw4BI9NBAeDHYEAA5d8lFxbIA X-IPAS-Result: AisGAIjZQVJZELGadGdsb2JhbABaDgiDKa0xk3iBNg4BDBUIPIIlAQEFeRALBAETLlcGE4gJCLw4BI9NBAeDHYEAA5d8lFxbIA X-IronPort-AV: E=Sophos;i="4.90,972,1371074400"; d="scan'208,217";a="34174518" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail2-smtp-roc.national.inria.fr with SMTP; 24 Sep 2013 20:29:08 +0200 Received: (qmail 25105 invoked by uid 634); 24 Sep 2013 18:29:08 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from 209-117-69-2.ptr.hilton.com (HELO [172.28.175.222]) (209.117.69.2) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 24 Sep 2013 19:29:08 +0100 Content-Type: multipart/alternative; boundary="Apple-Mail=_76439AE8-0B4D-453C-A210-09EFCC322ED2" Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1811\)) From: Anil Madhavapeddy In-Reply-To: Date: Tue, 24 Sep 2013 14:29:04 -0400 Cc: Ocaml Mailing List Message-Id: References: To: Bertrand Desmons X-Mailer: Apple Mail (2.1811) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] PPA repos (was: [ANN] Beta release of OPAM 1.1.0) --Apple-Mail=_76439AE8-0B4D-453C-A210-09EFCC322ED2 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 On 24 Sep 2013, at 12:15, Bertrand Desmons w= rote: > 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/Precis= e/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 --Apple-Mail=_76439AE8-0B4D-453C-A210-09EFCC322ED2 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=iso-8859-1 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

--Apple-Mail=_76439AE8-0B4D-453C-A210-09EFCC322ED2--