sci-mathematics/

coq

Pkgcheck Warnings

• All Versions
  • UnstableOnly
    for arch: [ arm64 ], all versions are unstable: [ 8.17.1-r1, 8.19.2-r1, 8.20.0-r1, 9.0.0 ]
  • UnstableOnly
    for arch: [ x86 ], all versions are unstable: [ 8.17.1-r1, 8.19.2-r1, 8.20.0-r1 ]
• 9.0.0
  • DroppedKeywords
    x86
• 8.20.0-r1
  • PotentialStable
    slot(0), stabled arch: [ amd64 ], potentials: [ ~arm64, ~x86 ]
• 8.19.2-r1
  • RedundantVersion
    slot(0) keywords are overshadowed by version: 8.20.0-r1
• 8.17.1-r1
  • RedundantVersion
    slot(0) keywords are overshadowed by versions: 8.19.2-r1, 8.20.0-r1