Gentoo Packages

Package: app-emacs/proofgeneral

This package is available in the following overlays:

Overlay	Versions Available
gentoo	=app-emacs/proofgeneral-4.5::gentoo
melpa	=app-emacs/proofgeneral-20260622.1503::melpa
melpa-stable	=app-emacs/proofgeneral-4.5::melpa-stable
nongnu-elpa	=app-emacs/proofgeneral-4.5::nongnu-elpa