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