8|sci-mathematics/metamath-databases|metamath-databases-20220303.ebuild|~amd64:~x86|sci-mathematics@gentoo.org