8|sci-mathematics/eprover|sci-mathematics/eprover-3.0.03|3.2.5|sci-mathematics@gentoo.org