Python 2 Dropping Database
cvc4
Package cvc4
Welcome to the future! This package does not support Python 2 at all. All is good in the world.
See
cvc4
in the Fedora Pagure, or go directly to the corresponding
spec file
.
Bugs
#1967190 cvc4 fails to build in Fedora 35+: Broken RPATH will fail rpmbuild
(for
F35FTBFS
)
CLOSED ERRATA
Updated
2021-06-11
RPMs
cvc4
-1.8-13.fc38.src
✔
python3-devel
✔
python3-devel = 3.11.0-1.fc38
cvc4-python3
-1.8-13.fc38.x86_64
✔
libpython3.11.so.1.0()(64bit)
✔
python(abi) = 3.11
Maintainers
brouhaha
(14)
jjames
(95)