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 D32477F75C for ; Thu, 28 Aug 2014 00:48:45 +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: ApQNAEdf/lNZELGaY2dsb2JhbABbg2BXsAKcKocNOgICAYEpBRgVBj+EAwEBBAF5BQsLGC4hNgYTiC4DCQwJuhkNhT4TBI0fgXozB4MvgR0FlVyEbIIQjmOKFjwvBYJKAQEB X-IPAS-Result: ApQNAEdf/lNZELGaY2dsb2JhbABbg2BXsAKcKocNOgICAYEpBRgVBj+EAwEBBAF5BQsLGC4hNgYTiC4DCQwJuhkNhT4TBI0fgXozB4MvgR0FlVyEbIIQjmOKFjwvBYJKAQEB X-IronPort-AV: E=Sophos;i="5.04,414,1406584800"; d="scan'208";a="91772066" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail2-smtp-roc.national.inria.fr with SMTP; 28 Aug 2014 00:48:45 +0200 Received: (qmail 28468 invoked by uid 634); 27 Aug 2014 22:48:44 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginm.net (HELO [192.168.1.98]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 27 Aug 2014 23:48:41 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: Anil Madhavapeddy In-Reply-To: Date: Wed, 27 Aug 2014 23:48:40 +0100 Cc: =?iso-8859-1?Q?Daniel_B=FCnzli?= , OCaml List , "Vincent B." Content-Transfer-Encoding: quoted-printable Message-Id: References: <104D94B9C9544BA1823C6F27B8CBF90D@erratique.ch> To: Martin DeMello X-Mailer: Apple Mail (2.1878.6) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] is this an opam bug or something i'm doing wrong? 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, b= ut 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 wrote: > Thanks! I've had to start from scratch anyway since for some reason the a= rch 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 co= uldn't) and I messed something up trying to fix it in place, so I don't min= d deleting .opam once more. >=20 > martin >=20 >=20 > On Wed, Aug 27, 2014 at 2:27 AM, Daniel B=FCnzli wrote: > Le mercredi, 27 ao=FBt 2014 =E0 08:59, Martin DeMello a =E9crit : > > 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: >=20 > https://github.com/ocaml/opam-repository/commit/55042c39fcef4f8b1c4e5db7b= 1120180bab05921#commitcomment-7540530 >=20 > Daniel >=20 >=20 >=20