Mirror by Optibit

___ _ _ _ _ _ / _ \ _ __ | |_(_) |__ (_) |_ | | | | '_ \| __| | '_ \| | __| | |_| | |_) | |_| | |_) | | |_ \___/| .__/ \__|_|_.__/|_|\__| M|I|R|R|O|R |_|

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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
50proofgeneral-gentoo.el	68 B	20-Mar-2025 12:38
proofgeneral-4.4-desktop.patch	425 B	20-Mar-2025 12:38
proofgeneral-4.5-paths.patch	762 B	20-Mar-2025 12:38
proofgeneral-4.5-posix-no-which.patch	1.4 KiB	20-Mar-2025 12:38