deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
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-unji9, liblablgtk3-ocaml-0um05, liblablgtksourceview3-ocaml-3azu2,
libppx-deriving-ocaml-nfa18, libresult-ocaml-zg6n1, libyojson-ocaml-9drl9, libzarith-ocaml-4dps0,
ocaml-base-4.13.1, perl:any, libwhy3-ocaml-dev-gsym4, 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: '306853'
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-3)
Version: 20220511-manganese-3+b4
srcpkg_name: frama-c
srcpkg_version: 20220511-manganese-3