Package: frama-c-base
Architecture: amd64
Version: 20220511-manganese-5build14
Priority: optional
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: 175060
Depends: libc6 (>= 2.38), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgmp10 (>= 2:6.3.0+dfsg), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libzstd1 (>= 1.5.5), libcairo2-ocaml-7q5f6, libfindlib-ocaml-ir474, liblablgtk3-ocaml-hnx11, liblablgtksourceview3-ocaml-51fc1, libppx-deriving-ocaml-iz338, libstdlib-ocaml-u9ol3, libyojson-ocaml-g43y1, libzarith-ocaml-mtsj7, perl:any, libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3
Recommends: alt-ergo, why3
Filename: pool/universe/f/frama-c/frama-c-base_20220511-manganese-5build14_amd64.deb
Size: 62107370
MD5sum: 4d283f7813d449bbd68d010a9c15a1b2
SHA1: 2bc80c2ede72d3225c93d3a6c36ca2c73f73e6b5
SHA256: 5b87b2433e0961cc33e2c7f08bf538c9977e36cd5effc81de1f09543eb745313
SHA512: 67ce4844176c7b3cdd3d39f38a0b248b62778495cf87ff0aa1a1807e6060433ec1e2a29b11d48ee99a1638570c5d4f072309bdc31533be80776a0e08a4d64ce2
Homepage: https://frama-c.com
Description: Platform dedicated to the analysis of source code written in C
Description-md5: 2e7860054dd191ec0787bab2062c3031