Package cbmc

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


See cbmc in the Fedora Pagure, or go directly to the corresponding spec file.

Bugs

RPMs

  • cbmc-5.50.0-2.fc37.src
    • ✔ python3
    • ✔ python3 = 3.11.0~b5-1.fc37
  • cbmc-5.50.0-2.fc37.x86_64
    • ✔ /usr/bin/python3
  • cbmc-utils-5.50.0-2.fc37.x86_64
    • ✔ /usr/bin/python3

Maintainers