<<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 2.4.3-r1: HOMEPAGE: HTTPS url available: http://verify.inf.usi.ch/opensmt/ -> https://verify.inf.usi.ch/opensmt/ <<< open bugs >>> https://bugs.gentoo.org/894728 sci-mathematics/opensmt-2.4.3-r1_-_mv:_.../libopensmt.so_are_the_same_file