<<< ebuild_homepage_redirections >>> 8|200|2025-07-03|sci-mathematics/acl2|acl2-8.5_p20240307-r1.ebuild|https://www.cs.utexas.edu/users/moore/acl2/|https://www.cs.utexas.edu/~moore/acl2/|sci-mathematics@gentoo.org 8|200|2025-07-03|sci-mathematics/acl2|acl2-8.6.ebuild|https://www.cs.utexas.edu/users/moore/acl2/|https://www.cs.utexas.edu/~moore/acl2/|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> RedirectedUrl: version 8.6: HOMEPAGE: permanently redirected: https://www.cs.utexas.edu/users/moore/acl2/ -> https://www.cs.utexas.edu/~moore/acl2/