<<< ebuild_homepage_redirections >>>
  8|200|2025-03-21|sci-mathematics/btor2tools|btor2tools-1.0.0_pre20220518-r1.ebuild|https://github.com/Boolector/btor2tools/|https://github.com/hwmcc/btor2tools|sci-mathematics@gentoo.org
<<< packages_pkgcheck_scan >>>
    RedirectedUrl: version 1.0.0_pre20220518-r1: HOMEPAGE: permanently redirected: https://github.com/Boolector/btor2tools/ -> https://github.com/hwmcc/btor2tools
    RedirectedUrl: version 1.0.0_pre20220518-r1: SRC_URI: permanently redirected: https://github.com/Boolector/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz -> https://github.com/hwmcc/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz
    RedirectedUrl: version 1.0.0_pre20220518-r1: metadata.xml: bugs-to: permanently redirected: https://github.com/Boolector/btor2tools/issues/ -> https://github.com/hwmcc/btor2tools/issues
    RedirectedUrl: version 1.0.0_pre20220518-r1: metadata.xml: remote-id: permanently redirected: https://github.com/Boolector/btor2tools -> https://github.com/hwmcc/btor2tools