8|sci-mathematics/yices2|yices2-2.6.4-r1.ebuild|autotools|sci-mathematics@gentoo.org