<<< ebuild_homepage_redirections >>> 8|200|2023-10-12|sci-mathematics/kissat|kissat-3.1.0.ebuild|http://fmv.jku.at/kissat/|https://fmv.jku.at/kissat/|sci-mathematics@gentoo.org 8|200|2023-10-12|sci-mathematics/kissat|kissat-3.1.1.ebuild|http://fmv.jku.at/kissat/|https://fmv.jku.at/kissat/|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 3.1.1: HOMEPAGE: HTTPS url available: http://fmv.jku.at/kissat/ -> https://fmv.jku.at/kissat/