Package: frama-c-base
Architecture: amd64
Version: 20191204+calcium-0.1
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: 173088
Depends: libc6 (>= 2.29), libgmp10, libbiniou-ocaml-a2ub4, libeasy-format-ocaml-fn499, libfindlib-ocaml-rhvc3, libyojson-ocaml-xkmm5, libzarith-ocaml-gs683, ocaml-base-nox-4.08.1, libocamlgraph-ocaml-dev, gcc
Recommends: alt-ergo
Filename: pool/universe/f/frama-c/frama-c-base_20191204+calcium-0.1_amd64.deb
Size: 35510708
MD5sum: c23db4e462ff9715ea135c391e95f888
SHA1: 1972d4ed7e475279046a5f56ed4b09fbd200bab7
SHA256: 96022305daea22c0021b6bd08062952fa613a8c19f7b56ad1f417aca9661f155
Homepage: http://frama-c.com/
Description: Platform dedicated to the analysis of source code written in C (without gui)
Description-md5: d2143b8bc084709c855b714ba4a8c159