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