Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2023-12-27 01:40 | 1.8K | |
files/ | 2024-11-23 20:41 | - | |
idris2-0.6.0.ebuild | 2023-02-14 05:40 | 2.4K | |
idris2-0.7.0.ebuild | 2023-12-27 01:40 | 2.8K | |
metadata.xml | 2022-01-25 19:10 | 1.2K | |
Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2023-12-27 01:40 | 1.8K | |
files/ | 2024-11-23 20:41 | - | |
idris2-0.6.0.ebuild | 2023-02-14 05:40 | 2.4K | |
idris2-0.7.0.ebuild | 2023-12-27 01:40 | 2.8K | |
metadata.xml | 2022-01-25 19:10 | 1.2K | |