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.18.0-10.fc41.src
  • ✔ python3-devel
  • ✔ python3-devel = 3.13.0-1.fc42
• coq-core-8.18.0-10.fc41.x86_64
  • ✔ /usr/bin/python3