Directory Listing For [/mirrors/calculate/grp/x86_64/app-emacs/proofgeneral/] - Up To [/mirrors/calculate/grp/x86_64/app-emacs]

Filename	Size	Last Modified
`proofgeneral-4.5-1.xpak`	`952.0 kb`	`Mon, 02 Mar 2026 09:48:11 GMT`