Python 2 Dropping Database
coq
Package coq
Welcome to the future! This package does not support Python 2 at all. All is good in the world.
See
coq
in the Fedora Pagure, or go directly to the corresponding
spec file
.
Bugs
#1706039 coq FTBFS in rawhide/F31: The font "FreeSerif" cannot be found
(for
F31FTBFS
)
CLOSED RAWHIDE
Updated
2019-07-31
RPMs
coq
-8.13.1-1.fc35.src
✔
python3-devel
✔
python3-devel = 3.9.2-1.fc35
coq
-8.13.1-1.fc35.x86_64
✔
/usr/bin/python3
Maintainers
amdunn
(2)
jjames
(61)