<<< packages_pkgcheck_scan >>> HttpsUrlAvailable: version 1.1: HOMEPAGE: HTTPS url available: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba -> https://www.lsv.ens-cachan.fr/~gastin/ltl2ba HttpsUrlAvailable: version 1.1: SRC_URI: HTTPS url available: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.1.tar.gz -> https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.1.tar.gz <<< open bugs >>> https://bugs.gentoo.org/245803 [science_overlay]_sci-mathematics/ltl2ba_(New_package)