From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7F12E7FAD2 for ; Wed, 22 Oct 2014 17:15:58 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.92; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.92; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout2.freenet.de) identity=helo; client-ip=195.4.92.92; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout2.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwBAIHJR1TDBFxcnGdsb2JhbABcgmuEVc4IgyACgQwWAREBAQEBAQYNCQkULoQDAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUTCAEBiCcBFQMBsSONZQmBRgGFPwELIIEsjzIWgmGBVAWSBI0Kg0mCbQWEfIIjgx6He4M1AQEB X-IPAS-Result: AtwBAIHJR1TDBFxcnGdsb2JhbABcgmuEVc4IgyACgQwWAREBAQEBAQYNCQkULoQDAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUTCAEBiCcBFQMBsSONZQmBRgGFPwELIIEsjzIWgmGBVAWSBI0Kg0mCbQWEfIIjgx6He4M1AQEB X-IronPort-AV: E=Sophos;i="5.04,769,1406584800"; d="scan'208";a="84244393" Received: from mout2.freenet.de ([195.4.92.92]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Oct 2014 17:15:57 +0200 Received: from [195.4.92.142] (helo=mjail2.freenet.de) by mout2.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.82 #2) id 1Xgxdl-0004PE-77 for caml-list@inria.fr; Wed, 22 Oct 2014 17:15:57 +0200 Received: from localhost ([::1]:43785 helo=mjail2.freenet.de) by mjail2.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.82 #2) id 1Xgxdk-0007B3-VU for caml-list@inria.fr; Wed, 22 Oct 2014 17:15:57 +0200 Received: from mx13.freenet.de ([195.4.92.23]:54555) by mjail2.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.82 #2) id 1XgxbV-00046K-EN for caml-list@inria.fr; Wed, 22 Oct 2014 17:13:37 +0200 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:49896) by mx13.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.82 #2) id 1XgxbV-0004Qz-6h for caml-list@inria.fr; Wed, 22 Oct 2014 17:13:37 +0200 Message-ID: <5447C99F.2050408@freenet.de> Date: Wed, 22 Oct 2014 17:13:35 +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 References: <5447C471.6070507@freenet.de> In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Originated-At: 2001:6f8:1c00:fb::2!49896 Subject: Re: [Caml-list] OPAM ppx_tools problem? Am 22.10.2014 um 17:05 schrieb Peter Zotov: > On 2014-10-22 18:51, Mr. Herr wrote: >> 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? > > This is my fault--I accidentally put 1.2-specific syntax into opam-repository. > There should actually be some provisions for porting syntax back to 1.1-compatible > form, I'm not sure why are they not working. > I have seen warnings before: [WARNING] dev-repo is an unknown field in /opt/opam/repo/default/packages/eliom/eliom.4.1.0/opam: is your OPAM up-to-date ? [WARNING] dev-repo is an unknown field in /opt/opam/packages/ocsigenserver/ocsigenserver.2.5/opam: is your OPAM up-to-date ? but they did not kill the opam update function. And 1.2 is not out yet... /Str. ---- Please ignore the Reply-To header and reply to the list.