8|sci-mathematics/acl2|acl2-8.5_p20240307.ebuild|BSD|sci-mathematics@gentoo.org
8|sci-mathematics/acl2|acl2-8.5-r2.ebuild|BSD|sci-mathematics@gentoo.org