<<< ebuild_homepage_redirections >>> 8|200|2025-01-03|app-emacs/lean-mode|lean-mode-0_p20230611-r1.ebuild|https://github.com/leanprover/lean-mode/|https://github.com/leanprover/lean3-mode|gnu-emacs@gentoo.org <<< ebuild_src_uri_size_mismatch >>> 8|app-emacs/lean-mode|lean-mode-0_p20230611-r1.ebuild|gnu-emacs@gentoo.org <<< packages_pkgcheck_scan >>> 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