why3-ide

Why3 environment for deductive program verification
IN THIS PACKAGE
Empty package map

Error log

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

# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libexpat1-dev
libgtk2.0-dev
libgtksourceview2.0-dev
pkg-config
The following command needs to be run through "sudo":
    apt-get install -qq -yy libexpat1-dev libgtk2.0-dev libgtksourceview2.0-dev pkg-config
E: Unable to locate package libgtksourceview2.0-dev
E: Couldn't find any package by glob 'libgtksourceview2.0-dev'
E: Couldn't find any package by regex 'libgtksourceview2.0-dev'
OS package installation failed