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 AD5C87EE35 for ; Sat, 26 Mar 2016 19:44:19 +0100 (CET) IronPort-PHdr: 9a23:QQdt2RJK4h0i0EN3V9mcpTZWNBhigK39O0sv0rFitYgUKfTxwZ3uMQTl6Ol3ixeRBMOAu6IC0bCd6vm4EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Txjbr5osSLKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y5Wd39Q2jpFGRKPpEX/X4ztvzH6u/Bn8CeAMMDwQKxyVTn0vPQjcwPhlCpSb21xy2rQkMEl1K8= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=misterherr@freenet.de; spf=None smtp.mailfrom=misterherr@freenet.de; spf=None smtp.helo=postmaster@mout2.freenet.de 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: A0AMAQCV1/ZWk1xcBMNdgwN+fahLlBsZhXQCgSI7EQEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIw8BRRELGAICBRYLAgIJAwIBAgFFEwgBAYgNARYDAbApimsJgSsBhBABCgEBARgEfIlmhC0NToI0glYFkwaEWwGFcIl7h00EI4UxhhCIezaCQIFSa4cbgTsBAQE X-IPAS-Result: A0AMAQCV1/ZWk1xcBMNdgwN+fahLlBsZhXQCgSI7EQEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIw8BRRELGAICBRYLAgIJAwIBAgFFEwgBAYgNARYDAbApimsJgSsBhBABCgEBARgEfIlmhC0NToI0glYFkwaEWwGFcIl7h00EI4UxhhCIezaCQIFSa4cbgTsBAQE X-IronPort-AV: E=Sophos;i="5.24,396,1454972400"; d="scan'208";a="171012376" Received: from mout2.freenet.de ([195.4.92.92]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Mar 2016 19:44:18 +0100 Received: from [195.4.92.141] (helo=mjail1.freenet.de) by mout2.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1ajtC5-0006EB-1f for caml-list@inria.fr; Sat, 26 Mar 2016 19:44:17 +0100 Received: from localhost ([::1]:48009 helo=mjail1.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ajtC4-0005jO-Tt for caml-list@inria.fr; Sat, 26 Mar 2016 19:44:17 +0100 Received: from mx5.freenet.de ([195.4.92.15]:56947) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ajt9o-0004rE-0K for caml-list@inria.fr; Sat, 26 Mar 2016 19:41:56 +0100 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:47723 helo=suse132-intel.home.loc) by mx5.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1ajt9n-0004bZ-QB for caml-list@inria.fr; Sat, 26 Mar 2016 19:41:55 +0100 To: caml-list@inria.fr References: <56F66446.10707@linux-france.org> From: "Mr. Herr" Message-ID: <56F6D7F2.5090601@freenet.de> Date: Sat, 26 Mar 2016 19:41:54 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0 MIME-Version: 1.0 In-Reply-To: <56F66446.10707@linux-france.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Originated-At: 2001:6f8:1c00:fb::2!47723 Subject: Re: [Caml-list] Issue after an opam update On 26.03.2016 11:28, David MENTRÉ wrote: > Hello, > > I tried to update my opam installation, without success. I upgraded to > latest opam, without improving the situation. Any idea on how to fix the > issue (and explain the issue)? > > $ opam update > > =-=- Updating package repositories > =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > [default] synchronized from https://opam.ocaml.org > [WARNING] A conflict was detected in your installation. This can be > caused by updated constraints or conflicts in your installed packages: > - Conflicting query for package camlp4.4.02.1+1 > > > You should run "opam upgrade" to resolve the situation. > > $ opam upgrade > [WARNING] Upgrade is not possible because of conflicts or packages that > are no longer available: > - Conflicting query for package camlp4.4.02.1+1 > > $ opam --version > 1.2.2 > > $ opam list > # Installed packages for 4.02.1: > base-bigarray base Bigarray library distributed with the > OCaml compiler > base-threads base Threads library distributed with the OCaml > compiler > base-unix base Unix library distributed with the OCaml > compiler > camlp4 4.02.1+1 Camlp4 is a system for writing extensible > parsers for programming languages > camlp5 6.12 Preprocessor-pretty-printer of OCaml > conf-gmp 1 Virtual package relying on a GMP lib > system installation. > conf-gnomecanvas 2 Virtual package relying on a Gnomecanvas > system installation. > conf-gtksourceview 2 Virtual package relying on a GtkSourceView > system installation. > coq 8.4.5 Formal proof management system. > frama-c 20150201 Platform dedicated to the static analysis > of source code written in C > lablgtk 2.18.3 OCaml interface to GTK+ > menhir 20141215 LR(1) parser generator > ocamlfind 1.5.5 A library manager for OCaml > ocamlgraph 1.8.6 A generic graph library for OCaml > zarith 1.3 Implements arithmetic and logical > operations over arbitrary-precision integers I remember having read here that opam -v (or several v) will show more about the resolution logic, especially which package is requiring this specific camlp4 version. Hope this helps. /Str.