8|sci-mathematics/prover9|prover9-2009.11a-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org