7|sci-mathematics/cvc4|cvc4-1.8-r5.ebuild|GPL-2|tupone@gentoo.org