8|sci-mathematics/cadical|cadical-1.9.4.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cadical|cadical-1.9.5.ebuild|~amd64:~x86|sci-mathematics@gentoo.org