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

#1924274 F34FailsToInstall: frama-c (for F35FailsToInstall)
CLOSED NEXTRELEASE

Updated 2021-02-21
#1986518 F35FailsToInstall: frama-c (for F35FailsToInstall)
CLOSED RAWHIDE

Updated 2021-07-30

RPMs

frama-c-25.0-2.fc37.src
- ✔ python3-devel
- ✔ python3-devel = 3.11.0~b5-1.fc37
frama-c-25.0-2.fc37.x86_64
- ✔ /usr/bin/python3

Maintainers

jjames (89)