commit: e137bda5f125920805b32c956f63726445bf41f9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Feb 5 11:21:55 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Feb 5 11:21:55 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e137bda5
sci-mathematics/cvc4: PythonCompatUpdate
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.7-r1.ebuild | 4 ++--
sci-mathematics/cvc4/cvc4-1.8.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
index 36e9f4689a67..a2f98aac04cc 100644
--- a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{7,8,9} )
+PYTHON_COMPAT=( python3_{7..10} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT)
problems"
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild
b/sci-mathematics/cvc4/cvc4-1.8.ebuild
index 347dbda0a248..6eb40f393dc6 100644
--- a/sci-mathematics/cvc4/cvc4-1.8.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{7,8,9} )
+PYTHON_COMPAT=( python3_{7..10} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT)
problems"
