RedirectedUrl: version 0.20.0: HOMEPAGE: permanently redirected: https://github.com/ejgallego/coq-serapi/ -> https://github.com/rocq-archive/coq-serapi
  RedirectedUrl: version 0.20.0: SRC_URI: permanently redirected: https://github.com/ejgallego/coq-serapi/archive/8.20.0+0.20.0.tar.gz -> https://github.com/rocq-archive/coq-serapi/archive/8.20.0+0.20.0.tar.gz
  RedirectedUrl: version 0.20.0: metadata.xml: bugs-to: permanently redirected: https://github.com/ejgallego/coq-serapi/issues/ -> https://github.com/rocq-archive/coq-serapi/issues
  RedirectedUrl: version 0.20.0: metadata.xml: changelog: permanently redirected: https://github.com/ejgallego/coq-serapi/releases/ -> https://github.com/rocq-archive/coq-serapi/releases
  RedirectedUrl: version 0.20.0: metadata.xml: remote-id: permanently redirected: https://github.com/ejgallego/coq-serapi -> https://github.com/rocq-archive/coq-serapi