repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

Information for frama-c

Versions

  • 33.0

Package names

  • frama-c

Repositories

Categories

  • Unspecified

Licenses

  • LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception

Summaries

  • Framework for source code analysis of C software

All package recipes

Build logs