Re: [Caml-list] Issue after an opam update

["Mr. Herr" <misterherr@freenet.de>]

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.