<<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 2.5_p20211018: HOMEPAGE: HTTPS url available: http://ultimate.informatik.uni-freiburg.de/smtinterpol/ -> https://ultimate.informatik.uni-freiburg.de/smtinterpol/