From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 156747EDD9 for ; Sat, 6 Oct 2012 22:49:20 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=176.9.138.55; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 176.9.138.55 as permitted sender) identity=mailfrom; client-ip=176.9.138.55; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@mail.etorok.net designates 176.9.138.55 as permitted sender) identity=helo; client-ip=176.9.138.55; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mail.etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EACWYcFCwCYo3/2dsb2JhbABFgm68NYEIgiABAQVAAQE2Ag8LGAkWDwkDAgECAUUTCAKIAgOmGYQyAQWOMgaLTyeCSIMhiFWNGZAugnCBWQ X-IronPort-AV: E=Sophos;i="4.80,545,1344204000"; d="scan'208";a="176107364" Received: from mail.etorok.net ([176.9.138.55]) by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Oct 2012 22:49:17 +0200 Received: from [IPv6:2a02:2f02:1022:9022:1e6f:65ff:fe23:db0d] (unknown [IPv6:2a02:2f02:1022:9022:1e6f:65ff:fe23:db0d]) by mail.etorok.net (Postfix) with ESMTPSA id CA4BF46AE for ; Sat, 6 Oct 2012 22:49:16 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=etorok.net; s=MAILOUT; t=1349556556; bh=7YGECvyPbnTjZawuHn7bHhMbLT8xjQl27rhm1MCjmeg=; h=Message-ID:Date:From:MIME-Version:To:Subject:References: In-Reply-To:Content-Type:Content-Transfer-Encoding; b=L5rppb2jgmdKiO21BV0stflh6JlDlzX9wr5U5iZP1hSXEfGaLibmixgTONJ3PgFKx txelq4EI9bq853n8e0ljZcZ1I/81ZgiFerJlrqQdC3VgWgP06/APo0/qaRvNcFcGtB IFECWBFwlGT7rjn+Mt8k0u40uMLG4XQjk9H0IvLE= Message-ID: <50709949.9020002@etorok.net> Date: Sat, 06 Oct 2012 23:49:13 +0300 From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.7) Gecko/20120922 Icedove/10.0.7 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Virus-Scanned: clamav-milter 0.97.5 at mail X-Virus-Status: Clean Subject: Re: [Caml-list] opam update failing 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? Now I only get these errors: Package wdialog.2.1.3 depends on the unknown package ocaml-inifiles Package why.2.31 depends on the unknown package frama-c 'opam update' failed Best regards, --Edwin