8|sci-mathematics/metamath|metamath-0.198.ebuild|autotools|sci-mathematics@gentoo.org