8|200|2023-07-04|sci-mathematics/metamath-databases|metamath-databases-20220303.ebuild|http://us.metamath.org/mpeuni/mmset.html|https://us.metamath.org/mpeuni/mmset.html|sci-mathematics@gentoo.org