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

app-emacs/
boogie-friends

Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)

https://github.com/boogie-org/boogie-friends/

Pkgcheck Warnings

  • All Versions
    • UnstableOnly
      for arch: [ amd64 ], all versions are unstable: [ 0.1_p20220922 ]
  • 0.1_p20220922

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