Package coq

No one is working on this package now. You can visit pkgdb for links to the upstream project. Ask for Python 3 status, and coordinate work with the upstream to port.

If upstream has Python 3 support but it is not yet in Fedora, get in touch with the Fedora maintainer (also visible in pkgdb).


See coq in the Fedora Pagure, or go directly to the corresponding spec file.

RPMs

  • coq-8.7.1-7.fc29
    • × /usr/bin/python2

Maintainers

Dependencies

(Python 2 packages only)

Run time

None.

Build time

1 packages: X 1 Dropped
Package Status
  python2 X

Dependency Tree

Dependents

(Python 2 packages only)

Run time

None.

Build time

None.