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.16.1
    • StableRequest
      slot(0) no change in 73 days for unstable keywords: [ ~amd64, ~x86 ]
  • 8.16.0
    • RedundantVersion
      slot(0) keywords are overshadowed by version: 8.16.1
  • 8.15.2
    • RedundantVersion
      slot(0) keywords are overshadowed by versions: 8.16.0, 8.16.1
  • 8.13.0-r1
    • RedundantVersion
      slot(0) keywords are overshadowed by versions: 8.15.2, 8.16.0, 8.16.1
  • 8.12.0-r2
    • UnusedInherits
      unused eclass: multilib

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