Package: frama-c-base
Architecture: amd64
Version: 20220511-manganese-5build7
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: 251947
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), libcairo2-ocaml-uvn20, libfindlib-ocaml-449z9, liblablgtk3-ocaml-oh775, liblablgtksourceview3-ocaml-6vnq1, libppx-deriving-ocaml-qsyd4, libresult-ocaml-mx0o3, libstdlib-ocaml-ep7y0, libyojson-ocaml-027y9, libzarith-ocaml-zlfv4, 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-5build7_amd64.deb
Size: 64689762
MD5sum: f37de67a2fad19610efa7bdf9ac4c35f
SHA1: 2a8cf0c3ac89ef37b7b98e87d8813aa46faa9c50
SHA256: 438de75ced0b25a15fa3cfc110c30ee81022c1db17a5588146b03b1c3c9b4f74
SHA512: 343ecdadd53636e0e40a975ea71834e83fddc7c251cadca00db9d5803a069b206a6cd5ea262aa7f27cb39abbf49509103151da9d87f442a361a01c4d9589ba38
Homepage: https://frama-c.com
Description: Platform dedicated to the analysis of source code written in C
Description-md5: 2e7860054dd191ec0787bab2062c3031