sci-mathematics/

coq

Pkgcheck Warnings

• All Versions
  • UnstableOnly
    for arch: [ x86 ], all versions are unstable: [ 8.19.0, 8.19.1, 8.19.2 ]
• 8.19.2
  • StableRequest
    slot(0) no change in 89 days for unstable keyword: [ ~amd64 ]
• 8.19.1
  • RedundantVersion
    slot(0) keywords are overshadowed by version: 8.19.2
• 8.19.0
  • PotentialStable
    slot(0), stabled arch: [ amd64 ], potential: [ ~x86 ]