Python 2 Dropping Database
cbmc
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
#1987400 cbmc: FTBFS in Fedora rawhide/f35
(for
F35FTBFS
)
CLOSED RAWHIDE
Updated
2021-08-05
RPMs
cbmc
-5.50.0-1.fc37.src
✔
python3
✔
python3 = 3.10.2-3.fc36
cbmc
-5.50.0-1.fc37.x86_64
✔
/usr/bin/python3
cbmc-utils
-5.50.0-1.fc37.x86_64
✔
/usr/bin/python3
Maintainers
jjames
(67)
kdudka
(10)
lzaoral
(3)
vmihalko
(2)