From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id B86207EDD9 for ; Sun, 7 Oct 2012 02:51:05 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoIBACXRcFDRVda2kGdsb2JhbABFrSCReggjAQEBAQkJDQcUBCOCIAEBAQQMBgIsARsSCwEDDAYFCw0NISEBAREBBQEKEgYTEhCHUAEDDwubFAkDjCWCdYQCChknAwpZiHUBBQyKXWYnhWkDlBaBVYEVig6DLBYphA+BWg X-IronPort-AV: E=Sophos;i="4.80,545,1344204000"; d="scan'208";a="158133434" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Oct 2012 02:51:04 +0200 Received: by mail-ob0-f182.google.com with SMTP id wc20so5010573obb.27 for ; Sat, 06 Oct 2012 17:51:03 -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:content-transfer-encoding; bh=0th8h74fYw5Iha8iHlLOTzPCFkeK6qUMfUB/LSosMsQ=; b=u6wMMDHB0mjwRtjGN64h22h2LO6OAMfDgBv+WHd2sosoLq9K0WSk3IhE98ZOkNNwwH N6XVCSFiWDELAukPTKo3ZoVxrtbb6CJPJ9WmI86l7AQ29ygrUWxqKphq7r8bR6u9/6hF 9RjzPozb0lkrcwXCxeUDg1qWX0BFjJqB1W+0eDo2wyLZFiGWTgzw1JtlLP1xja47pRtn YnRG/u1Fmi7hx3q96BKPduNRkikZThhhKpAJYCw+jQlLcM4NPTp0TB6NAO1f1tNeIi1z e4N/R/eKnqmmcDjW+AgOWbREpQm3od6UPNopgxm3SVfGeAW/U0UeFUX11DStucgHFr8C CJsQ== MIME-Version: 1.0 Received: by 10.182.21.200 with SMTP id x8mr10196898obe.57.1349571063339; Sat, 06 Oct 2012 17:51:03 -0700 (PDT) Received: by 10.76.79.132 with HTTP; Sat, 6 Oct 2012 17:51:03 -0700 (PDT) In-Reply-To: References: <50709949.9020002@etorok.net> Date: Sun, 7 Oct 2012 02:51:03 +0200 Message-ID: From: Malcolm Matalka To: Mike McClurg Cc: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] opam update failing On a side note, I was very surprised when an 'opam upgrade' didn't actually bring me to the latest versions of everything. Specifically all of the jane st stuff was an older version than the latest. I ended up wiping my entire opam, "opam remove" was not working for me either, and starting from scratch, which worked. I'm sure that makes sense for someone that knows opam but I found it counter intuitive. On Sun, Oct 7, 2012 at 2:22 AM, Malcolm Matalka wrote: > Bringing my opam up to date was the trick. Works like a charm now. > > On Sun, Oct 7, 2012 at 1:56 AM, Mike McClurg wro= te: >> On Sat, Oct 6, 2012 at 9:49 PM, T=F6r=F6k Edwin wrote: >>> On 10/06/2012 10:57 PM, Malcolm Matalka wrote: >>>> Hello! I did an opam update and after printing a list of packages >>>> that need upgrading I get: >>>> >>>> ... >>>> - ulex.1.1 >>>> - variantslib.108.00.02 >>>> - zed.1.2 >>>> File /home/mmatalka/.opam/opam/ANSITerminal.0.6.opam: Bad format! >>> >>> I had a similar 'Bad format' message a while ago, and it went away >>> after upgrading to opam 0.7. >>> For some reason the download instructions took me to version 0.6 >>> at the time, even though 0.7 was already available. >>> The download instruction point to 0.7 now though, which version do you = have? >> >> Opam changes very often. The latest tag on github is 0.7.5, which is >> working well for me. I recommend rebuilding opam regularly, but only >> from the tagged versions. >> >> Mike >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs