<<< ebuild_homepage_redirections >>> 7|200|2023-07-04|sci-mathematics/otter|otter-3.3-r4.ebuild|http://www.cs.unm.edu/~mccune/otter/|https://www.cs.unm.edu/~mccune/otter/|sci@gentoo.org <<< ebuild_src_uri_bad >>> 7|2023-07-04|sci-mathematics/otter|otter-3.3-r4.ebuild|http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz|sci@gentoo.org <<< packages_pkgcheck_scan >>> DeadUrl: version 3.3-r4: SRC_URI: 404 Client Error: Not Found for url: https://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz: http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz HttpsUrlAvailable: version 3.3-r4: HOMEPAGE: HTTPS url available: http://www.cs.unm.edu/~mccune/otter/ -> https://www.cs.unm.edu/~mccune/otter/