8|sci-mathematics/yices2|yices2-2.6.4-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org