diff options
Diffstat (limited to 'sci-mathematics/cvc4/cvc4-1.8-r1.ebuild')
-rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild index ed74ecc20fba..c013d2a2ed33 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild @@ -33,7 +33,7 @@ S="${WORKDIR}"/${PN^^}-archived-${PV} PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) python_check_deps() { - has_version "dev-python/toml[${PYTHON_USEDEP}]" + python_has_version "dev-python/toml[${PYTHON_USEDEP}]" } src_configure() { |