8|sci-mathematics/minisat|minisat-2.2.1-r1.ebuild|~amd64:~x86|sci@gentoo.org