File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
50proofgeneral-gentoo.el | 68 | 09-Aug-2015 00:38 |
proofgeneral-4.4-desktop.patch | 425 | 05-Sep-2019 15:09 |
proofgeneral-4.5-paths.patch | 762 | 04-Mar-2022 10:39 |
proofgeneral-4.5-posix-no-which.patch | 1455 | 11-Mar-2025 19:11 |