summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-01-19 22:30:37 +0100
committerAlfredo Tupone <tupone@gentoo.org>2024-01-19 22:31:45 +0100
commit81be47150ce44a0ed7c89b58fa1dafa072907392 (patch)
treec4255519dc3cad06c7a8dd6733dfa96892c65cc9 /sci-mathematics
parentsci-libs/transformers: PythonCompatUpdate (diff)
downloadgentoo-81be47150ce44a0ed7c89b58fa1dafa072907392.tar.gz
gentoo-81be47150ce44a0ed7c89b58fa1dafa072907392.tar.bz2
gentoo-81be47150ce44a0ed7c89b58fa1dafa072907392.zip
sci-mathematics/cvc4: PythonCompatUpdate
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/cvc4/cvc4-1.8-r5.ebuild (renamed from sci-mathematics/cvc4/cvc4-1.8-r4.ebuild)4
1 files 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
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"