7|sci-mathematics/cvc4|cvc4-1.8-r5.ebuild|~amd64:~x86|tupone@gentoo.org