Package: frama-c-base
Architecture: i386
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: 93140
Depends: libc6 (>= 2.17), libgmp10, libtinfo5 (>= 6), libfindlib-ocaml-2vsn1, libzarith-ocaml-rntd0, 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_i386.deb
Size: 21152872
MD5sum: bfd1bcd4ae33a4849d2234a43dc740e9
SHA1: 9936e85f382f8397ca346488220f02ff02d1169a
SHA256: dfa37c7e57966cf13568b8898dab7de94316b4410d544be40395e7f667b0bb80
Homepage: http://frama-c.com/
Description: Platform dedicated to the analysis of source code written in C (without gui)
Description-md5: 123aaa0c36edd958a7f5ae4b115f3b07