deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
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-0ne56, liblablgtk3-ocaml-hnx11, liblablgtksourceview3-ocaml-51fc1,
libppx-deriving-ocaml-o06b9, libstdlib-ocaml-7l663, libyojson-ocaml-g43y1, libzarith-ocaml-mtsj7,
perl:any, libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3
Description: "Platform dedicated to the analysis of source code written in C\n Frama-C\
\ gathers several analysis techniques in a single collaborative\n framework, based\
\ on analyzers (called \"plug-ins\") that can build upon the\n results computed\
\ by other analyzers in the framework.\n .\n Thanks to this approach, Frama-C\
\ provides sophisticated tools, including:\n * an analyzer based on abstract\
\ interpretation (Value plug-in);\n * a program proof framework based on weakest\
\ precondition calculus\n (WP plug-in);\n * a program slicer (Slicing plug-in);\n\
\ * a tool for verification of temporal (LTL) properties (Aora\xEF plug-in);\n\
\ * several tools for code base exploration and dependency analysis\n (plug-ins\
\ From, Impact, Metrics, Occurrence, Scope, etc.).\n .\n These plug-ins communicate\
\ between each other via the Frama-C API\n and via ACSL (ANSI/ISO C Specification\
\ Language) properties.\n .\n This package provides the library of Frama-c which\
\ is useful to build\n plugins for Frama-c, the command-line tools, and the graphical\
\ interface."
Homepage: https://frama-c.com
Installed-Size: '175782'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: frama-c-base
Priority: optional
Recommends: alt-ergo, why3
Section: devel
Source: frama-c (20220511-manganese-5)
Version: 20220511-manganese-5+b12
srcpkg_name: frama-c
srcpkg_version: 20220511-manganese-5