commit: 81be47150ce44a0ed7c89b58fa1dafa072907392
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 19 21:30:37 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jan 19 21:31:45 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81be4715
sci-mathematics/cvc4: PythonCompatUpdate
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.8-r4.ebuild => cvc4-1.8-r5.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r4.ebuild
b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
similarity index 95%
rename from sci-mathematics/cvc4/cvc4-1.8-r4.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
index d62729a94aa8..6de0fc9372aa 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r4.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{9..11} )
+PYTHON_COMPAT=( python3_{9..12} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT)
problems"
