File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2024-May-13 08:41 |
Manifest | 1.8 KiB | 2023-Aug-13 19:40 |
metadata.xml | 656 B | 2022-Jun-02 13:40 |
proofgeneral-4.4.ebuild | 1.6 KiB | 2019-Oct-12 21:39 |
proofgeneral-4.5.ebuild | 1.4 KiB | 2022-Aug-16 08:10 |
proofgeneral-4.5_pre20220228.ebuild | 1.5 KiB | 2023-Jan-30 20:40 |