package alt-ergo-lib-free

  1. Overview
  2. Docs
On This Page
  1. Error log

alt-ergo-lib-free 2.3.3.dune3

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 alt-ergo-free.2.3.3.dune3 & zarith.1.13 & stdlib-shims.0.3.0 & seq.0.3.1 & psmt2-frontend.0.3.1 & ocplib-simplex.0.4.1 & ocamlfind.1.9.6 & num.1.5 & menhirSdk.20201216 & menhirLib.20201216 & menhir.20201216 & lablgtk.2.18.13 & dune.3.15.3 & conf-zlib.1 & conf-which.1 & conf-pkg-config.3 & conf-gtksourceview.2 & conf-gtk2.1 & conf-gmp.4 & conf-autoconf.0.1 & camlzip.1.10 & camlp-streams.5.0.1 & alt-ergo-parsers-free.2.3.3.dune3 & alt-ergo-lib-free.2.3.3.dune3:   * Missing dependency:
            - conf-gtksourceview
            depends on the unavailable system package 'libgtksourceview2.0-dev'. Use `--no-depexts' to attempt installation anyway, or it is possible that a depext package name in the opam file is incorrect.

Command failed: opam --cli=2.1 list --readonly --external '--resolve=alt-ergo-free.2.3.3.dune3,zarith.1.13,stdlib-shims.0.3.0,seq.0.3.1,psmt2-frontend.0.3.1,ocplib-simplex.0.4.1,ocamlfind.1.9.6,num.1.5,menhirSdk.20201216,menhirLib.20201216,menhir.20201216,lablgtk.2.18.13,dune.3.15.3,conf-zlib.1,conf-which.1,conf-pkg-config.3,conf-gtksourceview.2,conf-gtk2.1,conf-gmp.4,conf-autoconf.0.1,camlzip.1.10,camlp-streams.5.0.1,alt-ergo-parsers-free.2.3.3.dune3,alt-ergo-lib-free.2.3.3.dune3' returned 20

Innovation. Community. Security.