why3-ide
Why3 environment for deductive program verification
1024">
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