8|sci-mathematics/cryptominisat|cryptominisat-5.11.21-r1.ebuild|GPL-2:MIT|sci-mathematics@gentoo.org