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 5FF8D7FAD2 for ; Wed, 22 Oct 2014 16:53:57 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.90; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.90; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout0.freenet.de) identity=helo; client-ip=195.4.92.90; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout0.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsBAJnER1TDBFxanGdsb2JhbABcgmuEVdI2FgERAQEBAQEGDQkJFC6ELBVANgIFFgsCCwMCAQIBWAgBAYgnARUDAaFljz2NZAmBRgGFa4Esj0iCYYFUBZIEjQqGNgWEfIIjiGYMgieDNQEBAQ X-IPAS-Result: AtsBAJnER1TDBFxanGdsb2JhbABcgmuEVdI2FgERAQEBAQEGDQkJFC6ELBVANgIFFgsCCwMCAQIBWAgBAYgnARUDAaFljz2NZAmBRgGFa4Esj0iCYYFUBZIEjQqGNgWEfIIjiGYMgieDNQEBAQ X-IronPort-AV: E=Sophos;i="5.04,769,1406584800"; d="scan'208";a="102410315" Received: from mout0.freenet.de ([195.4.92.90]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Oct 2014 16:53:56 +0200 Received: from [195.4.92.140] (helo=mjail0.freenet.de) by mout0.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.82 #2) id 1XgxIR-0003Ud-LX for caml-list@inria.fr; Wed, 22 Oct 2014 16:53:55 +0200 Received: from localhost ([::1]:44013 helo=mjail0.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.82 #2) id 1XgxIR-000392-CF for caml-list@inria.fr; Wed, 22 Oct 2014 16:53:55 +0200 Received: from mx10.freenet.de ([195.4.92.20]:38173) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.82 #2) id 1XgxGQ-0000gG-Bc for caml-list@inria.fr; Wed, 22 Oct 2014 16:51:50 +0200 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:48794) by mx10.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.82 #2) id 1XgxGP-0002TZ-Pr for caml-list@inria.fr; Wed, 22 Oct 2014 16:51:50 +0200 Message-ID: <5447C471.6070507@freenet.de> Date: Wed, 22 Oct 2014 16:51:29 +0200 From: "Mr. Herr" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.1.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Originated-At: 2001:6f8:1c00:fb::2!48794 Subject: [Caml-list] OPAM ppx_tools problem? I am getting these error messages in opam 1.1.1 when doing 'opam update': [WARNING] Errors while parsing ppx_tools.0.1 OPAM file, skipping. [WARNING] Errors while parsing ppx_tools.0.99 OPAM file, skipping. [WARNING] Errors while parsing ppx_tools.0.99.1 OPAM file, skipping. [WARNING] Errors while parsing ppx_tools.0.99.2 OPAM file, skipping. Updating the cache of metadata (/opt/opam/state.cache) ... [WARNING] External solver failed with inconsistent return value. Request saved to "/opt/opam/log/solver-error-2458-1.cudf" Falling back to the internal heuristic. Is it a local problem, or do others see this also? I did not have problems with opam lately - on the contrary, everything was working just fine. /Str.