frama-c 10.0

Error log

The package failed to build. The error log from opam follows.

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
[ERROR] No solution for why.2.34 & alt-ergo.1.30 & base-num.base & camlp4.4.03+1 & camlp5.7.14 & camlzip.1.07 & conf-autoconf.0.1 & conf-findutils.1 & conf-gmp.4 & conf-gtk2.1 & conf-perl.2 & conf-pkg-config.2 & conf-which.1 & coq.8.9.1 & frama-c.10.0 & lablgtk.2.16.0 & num.0 & ocamlbuild.0.14.1 & ocamlfind.1.9.5 & ocamlgraph.1.8.5 & ocplib-simplex.0.3 & zarith.1.11:   * Incompatible packages:
            - (invariant) -> ocaml-base-compiler = 4.03.0 -> ocaml = 4.03.0
            - frama-c = 10.0
            You can temporarily relax the switch invariant with `--update-invariant'


Command failed: opam --cli=2.1 list --readonly --external '--resolve=why.2.34,alt-ergo.1.30,base-num.base,camlp4.4.03+1,camlp5.7.14,camlzip.1.07,conf-autoconf.0.1,conf-findutils.1,conf-gmp.4,conf-gtk2.1,conf-perl.2,conf-pkg-config.2,conf-which.1,coq.8.9.1,frama-c.10.0,lablgtk.2.16.0,num.0,ocamlbuild.0.14.1,ocamlfind.1.9.5,ocamlgraph.1.8.5,ocplib-simplex.0.3,zarith.1.11' returned 20