7|sci-mathematics/cvc4|cvc4-1.8-r5.ebuild|cmake:python-any-r1|tupone@gentoo.org