8|sci-mathematics/metamath-databases|metamath-databases-20220303.ebuild|CC0-1.0|sci-mathematics@gentoo.org
8|sci-mathematics/metamath|metamath-0.198.ebuild|GPL-2|sci-mathematics@gentoo.org