Directory: /gentoo-portage-prefix/sci-mathematics/metamath/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
files/
-
2024-Mar-29 21:29
Manifest
1.2 KiB
2023-Jul-02 22:56
metadata.xml
636 B
2023-Jul-02 22:56
metamath-0.198.ebuild
632 B
2023-Jul-02 22:56