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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
50proofgeneral-gentoo.el68 B2015-Aug-09 09:38
proofgeneral-4.4-desktop.patch425 B2019-Sep-06 00:09
proofgeneral-4.5-paths.patch762 B2022-Mar-04 19:39