8|sci-mathematics/acl2|acl2-8.5_p20240307.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/acl2|acl2-8.5-r2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org