| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| files/ | - | 2024-Apr-25 04:10 |
| 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 |
This mirror is maintained by i3D.net.