Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
coq

Proof assistant written in O'Caml

http://coq.inria.fr/

Pkgcheck Warnings

  • All Versions
  • 8.15.2
    • StableRequest
      slot(0) no change in 31 days for unstable keywords: [ ~amd64, ~x86 ]
  • 8.15.1
    • RedundantVersion
      slot(0) keywords are overshadowed by version: 8.15.2
  • 8.15.0-r2
    • RedundantVersion
      slot(0) keywords are overshadowed by versions: 8.15.1, 8.15.2
  • 8.13.0-r1
    • RedundantVersion
      slot(0) keywords are overshadowed by versions: 8.15.0-r2, 8.15.1, 8.15.2
  • 8.12.0-r2
    • UnusedInherits
      unused eclass: multilib
  • 8.11.2-r1
    • RedundantVersion
      slot(0) keywords are overshadowed by versions: 8.12.0-r2, 8.13.0-r1, 8.15.0-r2, 8.15.1, 8.15.2
    • UnusedInherits
      unused eclass: multilib

Pkgcheck is used regularly to generate QA reports. Pkgcheck is a pkgcore-based QA utility for ebuild repos.