Package: frama-c-base Priority: extra Section: universe/devel Installed-Size: 96744 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: 20151002+magnesium+dfsg-1build1 Replaces: frama-c (<< 20090902+beryllium+dfsg-1) Depends: libc6 (>= 2.15), libgmp10, libtinfo5 (>= 6), libfindlib-ocaml-q3hl3, libzarith-ocaml-gmz61, 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_amd64.deb Size: 18763660 MD5sum: c842143e895dce23c3c5e257a585e897 SHA1: 9b9b98c8fd3e0a44e3babb5d9754831993261178 SHA256: 56a0a4c3ab90e6807c212eed9d0bfda8f4dc0aee98c2e710f81489a04a309337 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