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.

RPMs

  • antlr4-python3-runtime-8.8.2-2.fc30
    • ✔ python(abi) = 3.7
  • coq-8.8.2-2.fc30
    • ✔ /usr/bin/python3

Maintainers