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

RPMs

  • coq-8.13.2-1.fc35.src
    • ✔ python3-devel
    • ✔ python3-devel = 3.10.0~b3-1.fc35
  • coq-8.13.2-1.fc35.x86_64
    • ✔ /usr/bin/python3

Maintainers