8|sci-mathematics/acl2|sci-mathematics/acl2-8.5_p20240307-r1|8.6|sci-mathematics@gentoo.org