Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Manifest | 2023-08-13 21:40 | 1.8K | ||
files/ | 2024-12-22 11:10 | - | ||
metadata.xml | 2022-06-02 15:40 | 656 | ||
proofgeneral-4.2.ebuild | 2017-02-28 20:50 | 1.4K | ||
proofgeneral-4.4.ebuild | 2019-10-12 23:39 | 1.6K | ||
proofgeneral-4.5.ebuild | 2022-08-16 10:10 | 1.4K | ||
proofgeneral-4.5_pre..> | 2023-01-30 21:40 | 1.5K | ||