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-2.fc37.src
✔
python3
✔
python3 = 3.11.0-1.fc38
cbmc
-5.50.0-2.fc37.x86_64
✔
/usr/bin/python3
cbmc-utils
-5.50.0-2.fc37.x86_64
✔
/usr/bin/python3
Maintainers
jjames
(95)
kdudka
(9)
lzaoral
(6)
vmihalko
(2)