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

Filename	Modification time	Size
50proofgeneral-gentoo.el	2025-03-20 13:38 CET	68 B
proofgeneral-4.4-desktop.patch	2025-03-20 13:38 CET	425 B
proofgeneral-4.5-paths.patch	2025-03-20 13:38 CET	762 B
proofgeneral-4.5-posix-no-which.patch	2025-03-20 13:38 CET	1455 B