why3-base

Why3 environment for deductive program verification (base)
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:
autoconf
debianutils
libexpat1-dev
libgmp-dev
libgnomecanvas2-dev
libgtk2.0-dev
libgtksourceview2.0-dev
pkg-config
zlib1g-dev
The following command needs to be run through "sudo":
    apt-get install -qq -yy autoconf debianutils libexpat1-dev libgmp-dev libgnomecanvas2-dev libgtk2.0-dev libgtksourceview2.0-dev pkg-config zlib1g-dev
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