<<< ebuild_homepage_redirections >>> 8|200|2024-03-18|sci-mathematics/psmt2-frontend|psmt2-frontend-0.4.0.ebuild|https://github.com/OCamlPro-Coquera/psmt2-frontend|https://github.com/ACoquereau/psmt2-frontend|ml@gentoo.org:sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> RedirectedUrl: version 0.4.0: HOMEPAGE: permanently redirected: https://github.com/OCamlPro-Coquera/psmt2-frontend -> https://github.com/ACoquereau/psmt2-frontend RedirectedUrl: version 0.4.0: SRC_URI: permanently redirected: https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz -> https://github.com/ACoquereau/psmt2-frontend/archive/0.4.0.tar.gz