<<< ebuild_homepage_redirections >>> 8|200|2024-02-20|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|http://verify.inf.usi.ch/opensmt/|https://verify.inf.usi.ch/opensmt/|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 2.5.2: HOMEPAGE: HTTPS url available: http://verify.inf.usi.ch/opensmt/ -> https://verify.inf.usi.ch/opensmt/ <<< open bugs >>> https://bugs.gentoo.org/928095 sci-mathematics/opensmt-2.5.2_fails_to_compile:_Polynomial.h:183:15:_error:_no_declaration_matches_long_unsigned_int_PolynomialTVarType::size()_const