<<< ebuild_homepage_redirections >>> 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 <<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 20220303: HOMEPAGE: HTTPS url available: http://us.metamath.org/mpeuni/mmset.html -> https://us.metamath.org/mpeuni/mmset.html