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

sci-mathematics/
alt-ergo

Automatic theorem prover

https://alt-ergo.ocamlpro.com

Pkgcheck Warnings

  • All Versions
  • 2.4.2-r1
  • 2.4.1-r2
    • RedundantVersion
      slot(0) keywords are overshadowed by version: 2.4.2-r1

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