gentoo-ebuilds/sci-mathematics/metamath-databases
..
Manifest
metadata.xml
metamath-databases-20220303.ebuild