Package frama-c

Welcome to the future! This package does not support Python 2 at all. All is good in the world.


See frama-c in the Fedora Pagure, or go directly to the corresponding spec file.

Bugs

RPMs

  • frama-c-23.1-1.fc36.src
    • python3-devel
    • python3-devel = 3.10.0~rc2-2.fc36
  • frama-c-23.1-1.fc36.x86_64
    • /usr/bin/python3

Maintainers