Name Last modified Size Parent Directory - Manifest 2025-03-20 12:38 1.2K files/ 2026-02-02 22:40 - metadata.xml 2025-03-20 12:38 463 metamath-mode-0_p20221005.ebuild 2025-03-20 12:38 501
Name Last modified Size ![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
Manifest 2025-03-20 12:38 1.2K
![[DIR]](/icons/folder.gif)
files/ 2026-02-02 22:40 -
metadata.xml 2025-03-20 12:38 463
metamath-mode-0_p20221005.ebuild 2025-03-20 12:38 501
