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.16.0-2.fc38.src
  • ✔ python3-devel
  • ✔ python3-devel = 3.11.0-1.fc38
• coq-core-8.16.0-2.fc38.x86_64
  • ✔ /usr/bin/python3