<<< DEL-BUG-ebuild_deprecated_eclasses >>> 7|sci-mathematics/cvc4|cvc4-1.7.ebuild|cmake-utils|tupone@gentoo.org <<< RMC-IMP-packages_full_repoman >>> inherit.deprecated 1 sci-mathematics/cvc4/cvc4-1.7.ebuild: line 6: please migrate from 'cmake-utils' to 'cmake' <<< WWT-BUG-ebuild_homepage_http_statuscode >>> 6|000|sci-mathematics/cvc4|cvc4-1.6|http://cvc4.cs.stanford.edu/web/|tupone@gentoo.org 7|000|sci-mathematics/cvc4|cvc4-1.7|http://cvc4.cs.stanford.edu/web/|tupone@gentoo.org