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 28.1-2.fc41 -
Fedora 40 28.1-1.fc40 28.1-1.fc40
Fedora 39 28.1-1.fc39 -
Fedora 38 26.1-2.fc38 -
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