8|sci-mathematics/eprover|eprover-3.0.03.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/eprover|eprover-3.0_pre008.ebuild|~amd64:~x86|sci-mathematics@gentoo.org