8|sci-mathematics/yices2|yices2-2.6.4-r1.ebuild|GPL-3+|sci-mathematics@gentoo.org