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

sci-mathematics/
why3-for-spark

SPARK 2014 repository for the Why3 verification platform

https://www.why3.org/

Pkgcheck Warnings

  • All Versions
    • UnstableOnly
      for arch: [ arm64 ], all versions are unstable: [ 2023.12.13-r2 ]
  • 2023.12.13-r2
    • MissingPackageRevision
      "<=" operator used without package revision: DEPEND="<=sci-mathematics/coq-8.18"; did you mean either of: ('<=sci-mathematics/coq-8.18-r0', '<=sci-mathematics/coq-8.18-r9999')?
    • MissingPackageRevision
      "<=" operator used without package revision: RDEPEND="<=sci-mathematics/coq-8.18"; did you mean either of: ('<=sci-mathematics/coq-8.18-r0', '<=sci-mathematics/coq-8.18-r9999')?
  • 2021-r1
    • DeprecatedEapi
      uses deprecated EAPI 7

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