commit: efd139384b4115a72399f8afe83890c8c021b6dc
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 22 11:25:04 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Feb 22 11:25:33 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=efd13938
sci-mathematics/cvc4: add support to python 3.11
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.8-r2.ebuild => cvc4-1.8-r3.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild
b/sci-mathematics/cvc4/cvc4-1.8-r3.ebuild
similarity index 97%
rename from sci-mathematics/cvc4/cvc4-1.8-r2.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r3.ebuild
index 7f7a9ad7aa88..276bdf289c12 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r3.ebuild
@@ -4,7 +4,7 @@
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{9..10} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT)
problems"
