Index of /gentoo-portage-prefix/app-emacs/proofgeneral/

../
files/                                             12-Mar-2025 03:56       -
Manifest                                           12-Mar-2025 03:56    2161
metadata.xml                                       10-Feb-2025 17:26     656
proofgeneral-4.5.ebuild                            12-Mar-2025 03:56    1492