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 B18F07F75C for ; Wed, 27 Aug 2014 22:28:11 +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.182; 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.182 as permitted sender) identity=mailfrom; client-ip=209.85.220.182; 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-f182.google.com) identity=helo; client-ip=209.85.220.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-vc0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUBAC8+/lPRVdy2m2dsb2JhbABbg2BXBIJ4yTCHDT4BgQoIFhABAQEBAQYLCwkUKYQEAQEDARIRHQEbHQEDAQsGBQQHNwICIgERAQUBHAYTIogLAQMJCA2edGuLK4FygxCJKgoZJw1mhFgRAQEEDo86BAeCeYFTBYsqijKGfJMoGCmFLx0vBYJKAQEB X-IPAS-Result: AlUBAC8+/lPRVdy2m2dsb2JhbABbg2BXBIJ4yTCHDT4BgQoIFhABAQEBAQYLCwkUKYQEAQEDARIRHQEbHQEDAQsGBQQHNwICIgERAQUBHAYTIogLAQMJCA2edGuLK4FygxCJKgoZJw1mhFgRAQEEDo86BAeCeYFTBYsqijKGfJMoGCmFLx0vBYJKAQEB X-IronPort-AV: E=Sophos;i="5.04,413,1406584800"; d="scan'208";a="91757749" Received: from mail-vc0-f182.google.com ([209.85.220.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Aug 2014 22:28:11 +0200 Received: by mail-vc0-f182.google.com with SMTP id hy4so226734vcb.27 for ; Wed, 27 Aug 2014 13:28:09 -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=dd5CDOHMUbsvm+TTpHMMkzQwfmYQ1VK3zOwm8SGDlZg=; b=UP3SxsWc/bYjW3CUcS6mU5ij7mbZKkJBT7IbBZWD9RPyI5DXzIsiwoRbRlo/VcZUNx g5kVKoUdGBPJ+sYgMCA/k3NR3v2HM92o6JO4/TH8H1Kua9V0nwX/eH0XhPvqYeTL/WO/ ckRsQHMJ2Xlv1ViWwyfrv1RjeYoTjHGqHA0dDcRQOh35epy1VWLZsNxhxgSK7eekvI0C EbAB0Nddvug8L7P+M84lJo/hSJcXmmG+Qbw979o9pS9OfarvsVn3mcG+vVDyh45NvpPv MSRqgcKSZHYpyrd9rdYYpZMG2zG12BEamTFVw0GBfrihCcF78EhDNJ0XOS/6CHHYrOUf kxeg== MIME-Version: 1.0 X-Received: by 10.220.163.69 with SMTP id z5mr31641872vcx.10.1409171289941; Wed, 27 Aug 2014 13:28:09 -0700 (PDT) Received: by 10.220.3.78 with HTTP; Wed, 27 Aug 2014 13:28:09 -0700 (PDT) In-Reply-To: <104D94B9C9544BA1823C6F27B8CBF90D@erratique.ch> References: <104D94B9C9544BA1823C6F27B8CBF90D@erratique.ch> Date: Wed, 27 Aug 2014 13:28:09 -0700 Message-ID: From: Martin DeMello To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: OCaml List Content-Type: multipart/alternative; boundary=001a1133da242a2bdb0501a24206 Subject: Re: [Caml-list] is this an opam bug or something i'm doing wrong? --001a1133da242a2bdb0501a24206 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 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 wrote: > Le mercredi, 27 ao=C3=BBt 2014 =C3=A0 08:59, Martin DeMello a =C3=A9crit : > > 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 > > > --001a1133da242a2bdb0501a24206 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Thanks! I've had to start from scratch anyway since fo= r some reason 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 insta= ll oasis 0.4 and couldn't) and I messed something up trying to fix it i= n 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=A9crit :
> 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 n= ot easy to apply the fix. Follow these instructions:

https://g= ithub.com/ocaml/opam-repository/commit/55042c39fcef4f8b1c4e5db7b1120180bab0= 5921#commitcomment-7540530

Daniel



--001a1133da242a2bdb0501a24206--