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
    • UnstableOnly
      for arch: [ x86 ], all versions are unstable: [ 8.17.1, 8.18.0 ]
  • 8.18.0
    • StableRequest
      slot(0) no change in 82 days for unstable keyword: [ ~amd64 ]
    • NonexistentDeps
      RDEPEND: nonexistent package: <dev-lang/ocaml-4.09.0
    • NonexistentDeps
      DEPEND: nonexistent package: <dev-lang/ocaml-4.09.0
  • 8.17.1
    • PotentialStable
      slot(0), stabled arch: [ amd64 ], potential: [ ~x86 ]
    • NonexistentDeps
      RDEPEND: nonexistent package: <dev-lang/ocaml-4.09.0
    • NonexistentDeps
      DEPEND: nonexistent package: <dev-lang/ocaml-4.09.0

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