sci-mathematics/z3 – Gentoo Packages

All Versions
- UnstableOnly
  for arch: [ ppc ], all versions are unstable: [ 4.16.0, 5.0.0, 5.1.0 ]
5.1.0
5.0.0
- PotentialStable
  slot(0), stabled arches: [ amd64, arm, arm64, ppc64, x86 ], potential: [ ~ppc ]
- PythonCompatUpdate
  PYTHON_COMPAT update available: python3_15
4.16.0
- PythonCompatUpdate
  PYTHON_COMPAT update available: python3_15
- RedundantVersion
  slot(0) keywords are overshadowed by version: 5.0.0

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