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.15.0-1.fc37.src
  • ✔ python3-devel
  • ✔ python3-devel = 3.10.2-3.fc36
• coq-core-8.15.0-1.fc37.x86_64
  • ✔ /usr/bin/python3