sci-mathematics/lean – Gentoo Packages

All Versions
- UnstableOnly
  for arch: [ x86 ], all versions are unstable: [ 3.49.0, 3.50.3, 3.51.0, 3.51.1 ]
3.9999
3.51.1
3.51.0
- RedundantVersion
  slot(0) keywords are overshadowed by version: 3.51.1
3.50.3
- PotentialStable
  slot(0), stabled arch: [ amd64 ], potential: [ ~x86 ]
3.49.0
- RedundantVersion
  slot(0) keywords are overshadowed by version: 3.50.3

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

sci-mathematics/ lean