Package: frama-c-base
Architecture: amd64
Version: 20220511-manganese-3build3
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: 288749
Depends: libc6 (>= 2.35), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10 (>= 2:6.2.1+dfsg1), libgtk-3-0 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libcairo2-ocaml-gl0g4, libfindlib-ocaml-0thr1, liblablgtk3-ocaml-0um05, liblablgtksourceview3-ocaml-3azu2, libppx-deriving-ocaml-3ba35, libresult-ocaml-zg6n1, libyojson-ocaml-9drl9, libzarith-ocaml-4dps0, ocaml-base-4.13.1, perl:any, libwhy3-ocaml-dev-2bt20, libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3
Recommends: alt-ergo, why3
Filename: pool/universe/f/frama-c/frama-c-base_20220511-manganese-3build3_amd64.deb
Size: 75865330
MD5sum: dfe714d336735616ad4f9ddcbff3388d
SHA1: 4abfab48971d6e6fc337cf0c199d91a4ab6a4e52
SHA256: 82d7ffef256d34140ce9cc8b05841e5ac11733060a1f81f9921ac333e6af5d82
SHA512: acf81ca1b921c165913c3cbb4d88c300b4f446a11a1282342ab97eeee9358ad1e3a811c6cb4f39cf28af7b08e2a024035b25bcc7ad4341fd925c31719f6e5277
Homepage: https://frama-c.com
Description: Platform dedicated to the analysis of source code written in C
Description-md5: 2e7860054dd191ec0787bab2062c3031