gentoo.mahdi.cz
app-emacs
:boogie-friends
A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2).
https://github.com/boogie-org/boogie-friends/
boogie-friends-20221115.658
download
~amd64 ~x86
melpa
boogie-friends-0.1_p20220922
MIT
download
~amd64
gentoo