<<< ebuild_homepage_redirections >>> 8|200|2025-03-02|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 <<< packages_pkgcheck_scan >>> RedirectedUrl: version 8.5_p20240307-r1: HOMEPAGE: permanently redirected: https://www.cs.utexas.edu/users/moore/acl2/ -> https://www.cs.utexas.edu/~moore/acl2/ <<< open bugs >>> https://bugs.gentoo.org/937323 sci-mathematics/acl2-8.5_p20240307_fails_to_compile:_|_wrappers__wrapper.c:140:10:_error:_returning_int_from_a_function_with_return_type_char_makes_pointer_from_integer_without_a_cast_[-Wint-conversion]