Python 2 Dropping Database
cvc5
Package cvc5
Welcome to the future! This package does not support Python 2 at all. All is good in the world.
See
cvc5
in the Fedora Pagure, or go directly to the corresponding
spec file
.
RPMs
cvc5
-1.0.8-1.fc40.src
✔
python3-devel
✔
python3-devel = 3.12.0-2.fc40
python3-cvc5
-1.0.8-1.fc40.x86_64
✔
python(abi) = 3.12
Maintainers
jjames
(81)