files

0 directories 4 files 2.6 KiB total

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