8|sci-mathematics/opensmt|sci-mathematics/opensmt-2.7.0|2.9.2|sci-mathematics@gentoo.org