Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
files/ | 2024-Oct-14 05:10:46 | - | Directory |
Manifest | 2023-Jan-30 21:40:38 | 1.2K | application/octet-stream |
metadata.xml | 2022-Oct-15 19:10:30 | 0.4K | application/xml |
metamath-mode-0_p20221005.ebuild | 2023-Jan-30 21:40:38 | 0.5K | application/octet-stream |