files

0 directories 4 files 2.6 KiB total

Name	Size	Modified
Up
50proofgeneral-gentoo.el	68 B	3/20/2025, 12:38:28 PM
proofgeneral-4.4-desktop.patch	425 B	3/20/2025, 12:38:28 PM
proofgeneral-4.5-paths.patch	762 B	3/20/2025, 12:38:28 PM
proofgeneral-4.5-posix-no-which.patch	1.4 KiB	3/20/2025, 12:38:28 PM