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

  • antlr4-python3-runtime-1:4.7.2-8.fc32.1.noarch
    • python(abi) = 3.8
  • coq-8.9.1-13.fc32.src
    • python3-devel
    • python3-devel = 3.8.2-2.fc33
  • coq-8.9.1-13.fc32.x86_64
    • /usr/bin/python3

Maintainers