<<< ebuild_homepage_redirections >>> 8|200|2025-11-08|sci-mathematics/coq-stdlib|coq-stdlib-9.0.0-r1.ebuild|https://github.com/coq/stdlib|https://github.com/rocq-prover/stdlib|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> RedirectedUrl: version 9.0.0-r1: HOMEPAGE: permanently redirected: https://github.com/coq/stdlib -> https://github.com/rocq-prover/stdlib RedirectedUrl: version 9.0.0-r1: SRC_URI: permanently redirected: https://github.com/coq/stdlib/archive/V9.0.0.tar.gz -> https://github.com/rocq-prover/stdlib/archive/V9.0.0.tar.gz RedirectedUrl: version 9.0.0-r1: metadata.xml: bugs-to: permanently redirected: https://github.com/coq/stdlib/issues/ -> https://github.com/rocq-prover/stdlib/issues RedirectedUrl: version 9.0.0-r1: metadata.xml: changelog: permanently redirected: https://github.com/coq/stdlib/releases/ -> https://github.com/rocq-prover/stdlib/releases RedirectedUrl: version 9.0.0-r1: metadata.xml: remote-id: permanently redirected: https://github.com/coq/stdlib -> https://github.com/rocq-prover/stdlib