Gentoo Packages
Gentoo Packages
>
Packages
>
app-emacs
> proofgeneral
Package: app-emacs/proofgeneral
This package is available in the following overlays:
Overlay
Versions Available
gentoo
4.5
melpa
20260124.1351
melpa-stable
4.5
nongnu-elpa
4.5