frama-c-base

Platform dedicated to the analysis of source code written in C. Silicon version.
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