Package coq

Welcome to the future! This package does not support Python 2 at all. All is good in the world.

Bugs

• #1924272 F34FailsToInstall: coq (for F35FailsToInstall)
  CLOSED NEXTRELEASE
  Updated 2021-02-21
• #1986516 F35FailsToInstall: coq (for F35FailsToInstall)
  CLOSED RAWHIDE
  Updated 2021-07-30

RPMs

• coq-8.13.2-5.fc36.src
  • ✔ python3-devel
  • ✔ python3-devel = 3.10.0-2.fc36
• coq-8.13.2-5.fc36.x86_64
  • ✔ /usr/bin/python3