package why3-ide

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Error log

Package contains no libraries

why3-ide 1.5.0

Error log

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

[NOTE] Package dune is already installed (current version is 3.17.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
[ERROR] Package conf-gtksourceview.2 depends on the unavailable system package 'libgtksourceview2.0-dev'. You can use `--no-depexts' to attempt installation anyway.