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

dev-lang/
dafny

Dafny is a verification-aware programming language

https://dafny.org/

Pkgcheck Warnings

  • All Versions
    • RedundantVersion
      slot(0) keywords are overshadowed by version: 4.6.0
    • StableRequest
      slot(0) no change in 41 days for unstable keyword: [ ~amd64 ]
    • PythonCompatUpdate
      PYTHON_COMPAT update available: python3_13
    • PythonCompatUpdate
      PYTHON_COMPAT update available: python3_13
    • PythonCompatUpdate
      PYTHON_COMPAT update available: python3_13
  • 4.6.0
    • StableRequest
      slot(0) no change in 41 days for unstable keyword: [ ~amd64 ]
    • PythonCompatUpdate
      PYTHON_COMPAT update available: python3_13
  • 4.5.0
    • RedundantVersion
      slot(0) keywords are overshadowed by version: 4.6.0
    • PythonCompatUpdate
      PYTHON_COMPAT update available: python3_13
  • 4.4.0-r1
    • PythonCompatUpdate
      PYTHON_COMPAT update available: python3_13

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