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"