8|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org