Package: frama-c-base
Priority: extra
Section: universe/devel
Installed-Size: 82739
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Source: frama-c
Version: 20151002+magnesium+dfsg-1build1
Replaces: frama-c (<< 20090902+beryllium+dfsg-1)
Depends: libc6 (>= 2.15), libgmp10, libtinfo5 (>= 6), libfindlib-ocaml-a0ge7, libzarith-ocaml-0mov8, ocaml-base-nox-4.02.3, libocamlgraph-ocaml-dev, gcc
Recommends: alt-ergo, libwhy-coq
Breaks: frama-c (<< 20090902+beryllium+dfsg-1)
Filename: pool/universe/f/frama-c/frama-c-base_20151002+magnesium+dfsg-1build1_i386.deb
Size: 18203290
MD5sum: d91a1abbb07614b8ecdce11b92d635d5
SHA1: fbcb4681459a628bf860f284f48ec465d2e5fc3b
SHA256: e81e98f3d5a335f304f94a11b6fe0567341f02c279fb1d0ddfc89569e43fea71
Description: Framework for C source code analysis (without gui)
Homepage: http://frama-c.com/
Description-md5: 2517b4d57bbd6567329e87e5e3fd931b
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu