8|sci-mathematics/cadical|sci-mathematics/cadical-1.9.5|2.0.0|sci-mathematics@gentoo.org