From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 B82F97F75C for ; Thu, 28 Aug 2014 01:02:22 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.220.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.220.170 as permitted sender) identity=mailfrom; client-ip=209.85.220.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f170.google.com) identity=helo; client-ip=209.85.220.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-vc0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUBAL1i/lPRVdyqnGdsb2JhbABbg2BXBIJ4yTCHDT4BgQsIFhABAQEBAQYNCQkUKYQDAQEBAwESER0BGx0BAwELBgUEBw0qAgIhAQERAQUBHAYTIogLAQMJCA2fEGuLK4FygxCJKgoZJw1mhFgRAQEEDo0RgikEB4J5gVMFiyqKMoRsghCOY4RFGCmFLx0vBYJKAQEB X-IPAS-Result: AlUBAL1i/lPRVdyqnGdsb2JhbABbg2BXBIJ4yTCHDT4BgQsIFhABAQEBAQYNCQkUKYQDAQEBAwESER0BGx0BAwELBgUEBw0qAgIhAQERAQUBHAYTIogLAQMJCA2fEGuLK4FygxCJKgoZJw1mhFgRAQEEDo0RgikEB4J5gVMFiyqKMoRsghCOY4RFGCmFLx0vBYJKAQEB X-IronPort-AV: E=Sophos;i="5.04,414,1406584800"; d="scan'208";a="91773497" Received: from mail-vc0-f170.google.com ([209.85.220.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Aug 2014 01:02:21 +0200 Received: by mail-vc0-f170.google.com with SMTP id la4so36580vcb.1 for ; Wed, 27 Aug 2014 16:02:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=7Yzmf2aR5oovE9nBlVW7X3DOmLZTLTbi9MwMdMiv/DU=; b=poB+PXI7NRL+7BQsW7n3jFzXq4D48QcPsMrVzlYsexTPAjFL/bnLhDcFwEJ/CUTBHM 1YxmSVgoWE/XepNMGFK0D5ktvupCj2xRGbiIooLZFCk7EcTGMSmUgn2kEA+H3mLvXL8c VqD3oeiYyy6GzHpIVtWd5wkFuPa5W9RajEVtxduWo+MgpsQKpeJXmqb8ipHTfMp3ZwGy gZBmPy6UGfhtYvRHAq1IP9JOaH2o0p+o/LPLuw8j0Cj2oq0DHyKSL7FYRBUdMzON5gLU Xdq04NOAWkK5lSnNmaErlsxJsJgY0l6UM+iQTGqeZZMfD9tOlSSu9EyJTMBZ7vJ+eQ/l TVEg== MIME-Version: 1.0 X-Received: by 10.220.166.207 with SMTP id n15mr960094vcy.75.1409180540773; Wed, 27 Aug 2014 16:02:20 -0700 (PDT) Received: by 10.220.3.78 with HTTP; Wed, 27 Aug 2014 16:02:20 -0700 (PDT) In-Reply-To: References: <104D94B9C9544BA1823C6F27B8CBF90D@erratique.ch> Date: Wed, 27 Aug 2014 16:02:20 -0700 Message-ID: From: Martin DeMello To: Anil Madhavapeddy Cc: =?UTF-8?Q?Daniel_B=C3=BCnzli?= , OCaml List , "Vincent B." Content-Type: multipart/alternative; boundary=047d7b3439aa8eab190501a469be Subject: Re: [Caml-list] is this an opam bug or something i'm doing wrong? --047d7b3439aa8eab190501a469be Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I managed to fix it by uninstalling opam-git and installing opam; the bug seems to be that while the opam-git package did update to 1.1 it never triggered an update to my installation. martin On Wed, Aug 27, 2014 at 3:48 PM, Anil Madhavapeddy wrote: > According to the OPAM distributions list [1], Arch should be on OPAM > 1.1.1, which points to the maintained default repo. > > I'm afraid I've never used Arch to know where you might turn to for help, > but if it's really installing OPAM 1.0 then I'd like to know so that we c= an > prevent any more new installations of that version. > > [1] https://github.com/ocaml/opam/wiki/Distributions > > -anil > > On 27 Aug 2014, at 21:28, Martin DeMello wrote: > > > Thanks! I've had to start from scratch anyway since for some reason the > arch linux package had me stuck on the 1.0 version with a link to the wro= ng > default repo (I only realised this when I tried to install oasis 0.4 and > couldn't) and I messed something up trying to fix it in place, so I don't > mind deleting .opam once more. > > > > martin > > > > > > On Wed, Aug 27, 2014 at 2:27 AM, Daniel B=C3=BCnzli < > daniel.buenzli@erratique.ch> wrote: > > Le mercredi, 27 ao=C3=BBt 2014 =C3=A0 08:59, Martin DeMello a =C3=A9cri= t : > > > sorry for the noise, looks like a bug with the package itself :( > should've checked for that first > > > > > > https://github.com/OCamlPro/ocp-indent/issues/142 > > This should be fixed but your opam may be in a state where it's not easy > to apply the fix. Follow these instructions: > > > > > https://github.com/ocaml/opam-repository/commit/55042c39fcef4f8b1c4e5db7b= 1120180bab05921#commitcomment-7540530 > > > > Daniel > > > > > > > > --047d7b3439aa8eab190501a469be Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I managed to fix it by uninstalling opam-git and installin= g opam; the bug seems to be that while the opam-git package did update to 1= .1 it never triggered an update to my installation.

mart= in=C2=A0


On Wed,= Aug 27, 2014 at 3:48 PM, Anil Madhavapeddy <anil@recoil.org> wrote:
According to the OPAM distributions list [1]= , Arch should be on OPAM 1.1.1, which points to the maintained default repo= .

I'm afraid I've never used Arch to know where you might turn to for= help, but if it's really installing OPAM 1.0 then I'd like to know= so that we can prevent any more new installations of that version.

[1] https://github.com/ocaml/opam/wiki/Distributions

-anil

On 27 Aug 2014, at 21:28, Martin DeMello <martindemello@gmail.com> wrote:

> Thanks! I've had to start from scratch anyway since for some reaso= n the arch linux package had me stuck on the 1.0 version with a link to the= wrong default repo (I only realised this when I tried to install oasis 0.4= and couldn't) and I messed something up trying to fix it in place, so = I don't mind deleting .opam once more.
>
> martin
>
>
> On Wed, Aug 27, 2014 at 2:27 AM, Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch> wrote:=
> Le mercredi, 27 ao=C3=BBt 2014 =C3=A0 08:59, Martin DeMello a =C3=A9cr= it :
> > sorry for the noise, looks like a bug with the package itself :( = should've checked for that first
> >
> > https://github.com/OCamlPro/ocp-indent/issues/142
> This should be fixed but your opam may be in a state where it's no= t easy to apply the fix. Follow these instructions:
>
> http= s://github.com/ocaml/opam-repository/commit/55042c39fcef4f8b1c4e5db7b112018= 0bab05921#commitcomment-7540530
>
> Daniel
>
>
>


--047d7b3439aa8eab190501a469be--