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 CE9A77EE36 for ; Sat, 26 Mar 2016 11:28:24 +0100 (CET) IronPort-PHdr: 9a23:Xsc5Px2JOz1LCFlosmDT+DRfVm0co7zxezQtwd8ZsegQIvad9pjvdHbS+e9qxAeQG96Lu7Qe0aGO6OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ7tnLjps7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYjdt6qJUFCfmyP/lgDO8QMDNzOGkw4IX2rhTZVkPb7XIZViASkwFUKwnD9hDzGJnr5HjUrO14jQWTI8z6epUZfwiYTu8/RBrljjsdOhY98WfKmol+lqtdqx/noAZwld2HKLqJPeZzK/uONegRQnBMC5sJWg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=pra; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=mailfrom; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tempura.bentobako.org) identity=helo; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="postmaster@tempura.bentobako.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BZBQD8YvZW/0AnF15egy5TfbxgGYceOxEBAQEBAQEBAWMngi2CPoELAgUhAhECDj4NCAEBiCcBoEmPXR+BBY81BHyOE4MPglYFl2EXgRSERol7h1GFVIYQiHs2LIFCgiRrh2KBOwEBAQ X-IPAS-Result: A0BZBQD8YvZW/0AnF15egy5TfbxgGYceOxEBAQEBAQEBAWMngi2CPoELAgUhAhECDj4NCAEBiCcBoEmPXR+BBY81BHyOE4MPglYFl2EXgRSERol7h1GFVIYQiHs2LIFCgiRrh2KBOwEBAQ X-IronPort-AV: E=Sophos;i="5.24,395,1454972400"; d="scan'208";a="170962725" Received: from tempura.bentobako.org ([94.23.39.64]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 26 Mar 2016 11:28:24 +0100 Received: from [192.168.0.18] (114.196.8.109.rev.sfr.net [109.8.196.114]) by tempura.bentobako.org (Postfix) with ESMTPSA id 069063B3E for ; Sat, 26 Mar 2016 11:28:22 +0100 (CET) To: caml users From: =?UTF-8?Q?David_MENTR=c3=89?= Message-ID: <56F66446.10707@linux-france.org> Date: Sat, 26 Mar 2016 11:28:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Issue after an opam update 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 Best regards, david