| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 50proofgeneral-gentoo.el | 68 bytes | 2025-03-20 12:38:28 |
| 📄 proofgeneral-4.4-desktop.patch | 425 bytes | 2025-03-20 12:38:28 |
| 📄 proofgeneral-4.5-paths.patch | 762 bytes | 2025-03-20 12:38:28 |
| 📄 proofgeneral-4.5-posix-no-which.patch | 1455 bytes | 2025-03-20 12:38:28 |