Gentoo Packages

Package: app-emacs/proofgeneral

This package is available in multiple overlays. Please select one:

• gentoo
• melpa
• melpa-stable
• nongnu-elpa