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