8|sci-mathematics/psmt2-frontend|psmt2-frontend-0.4.0.ebuild|amd64:~x86|ml@gentoo.org:sci-mathematics@gentoo.org