Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
files/ | 2024-Oct-15 11:10:47 | - | Directory |
Manifest | 2023-Aug-13 21:40:15 | 1.8K | application/octet-stream |
metadata.xml | 2022-Jun-02 15:40:15 | 0.6K | application/xml |
proofgeneral-4.5.ebuild | 2022-Aug-16 10:10:22 | 1.4K | application/octet-stream |