Fedora Packages

frama-c-doc Subpackage of frama-c

Large documentation files for frama-c

Large documentation files for frama-c.

Releases Overview

Release Stable Testing
Fedora Rawhide 26.1-1.fc39 -
Fedora 38 26.1-1.fc38 -
Fedora 37 26.1-1.fc37 -
File a new bug report »
Package Info
  • Upstream: https://frama-c.com/
  • License(s): 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
  • Maintainer: jjames

Related Packages

You can contact the maintainers of this package via email at frama-c dash maintainers at fedoraproject dot org.

Sources on Pagure