Gentoo Packages
Gentoo Packages
>
app-emacs
> boogie-friends
Package: app-emacs/boogie-friends
This package is available in the following overlays:
Overlay
Versions Available
gentoo
=app-emacs/boogie-friends-0.1_p20220922::gentoo
melpa
=app-emacs/boogie-friends-20250310.1610::melpa