gpo.zugaina.org

Search Portage & Overlays:

app-emacs/boogie-friends

A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2)

Screenshots

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.