8|sci-mathematics/cryptominisat|cryptominisat-5.11.21-r2.ebuild|zlib|sci-mathematics@gentoo.org