Package: frama-c-base Priority: extra Section: universe/devel Installed-Size: 86445 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Source: frama-c Version: 20111001+nitrogen+dfsg-3 Replaces: frama-c (<< 20090902+beryllium+dfsg-1) Depends: libc6 (>= 2.11), libtinfo5, liblablgtk2-gnome-ocaml-aow60, liblablgtk2-ocaml-yfv67, liblablgtksourceview2-ocaml-dp2c6, ocaml-base-nox-3.12.1, 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_20111001+nitrogen+dfsg-3_amd64.deb Size: 29162540 MD5sum: 3fdb52fa31c1a1d5589357b5774e1bfb SHA1: 2ed4e6d363e7daaac11477db06aea3e76d7f4203 SHA256: 29c9cae56d524126880027c65c5ab66c12695c594f1a2f9ac83567a3472e81c6 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