RedirectedUrl: version 0_p20230611-r1: HOMEPAGE: permanently redirected: https://github.com/leanprover/lean-mode/ -> https://github.com/leanprover/lean3-mode
  RedirectedUrl: version 0_p20230611-r1: SRC_URI: permanently redirected: https://github.com/leanprover/lean-mode/archive/99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a.tar.gz -> https://github.com/leanprover/lean3-mode/archive/99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a.tar.gz
  RedirectedUrl: version 0_p20230611-r1: metadata.xml: bugs-to: permanently redirected: https://github.com/leanprover/lean-mode/issues -> https://github.com/leanprover/lean3-mode/issues
  RedirectedUrl: version 0_p20230611-r1: metadata.xml: remote-id: permanently redirected: https://github.com/leanprover/lean-mode -> https://github.com/leanprover/lean3-mode