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