Package: frama-c-base Architecture: amd64 Version: 20170501+phosphorus+dfsg-2build1 Priority: extra Section: universe/devel Source: frama-c Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 106222 Depends: libc6 (>= 2.17), libgmp10, libtinfo5 (>= 6), libfindlib-ocaml-ima03, libzarith-ocaml-gqf85, ocaml-base-nox-4.05.0, libocamlgraph-ocaml-dev, gcc Recommends: alt-ergo Filename: pool/universe/f/frama-c/frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb Size: 21999852 MD5sum: ce6624057ca7ad0c3115be3d147a9be0 SHA1: 27b2c67538bb9f12c1684e3556d699361589e177 SHA256: cf92a590dccf0196fd50b29ed43f861b52b2737d4192ef84d9780fa576c00e2a Homepage: http://frama-c.com/ Description: Platform dedicated to the analysis of source code written in C (without gui) Description-md5: 123aaa0c36edd958a7f5ae4b115f3b07