Artifact frama-c-base_20220511-manganese-3+b4_arm64

Metadata
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

File

frama-c-base_20220511-manganese-3+b4_arm64.deb
File too big (64.0 MB > 2.0 MB): you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package frama-c_20220511-manganese-3

binary package System - - 6 months, 2 weeks ago 5 months, 2 weeks
BETA