diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-01-19 22:30:37 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-01-19 22:31:45 +0100 |
| commit | 81be47150ce44a0ed7c89b58fa1dafa072907392 (patch) | |
| tree | c4255519dc3cad06c7a8dd6733dfa96892c65cc9 /sci-mathematics | |
| parent | sci-libs/transformers: PythonCompatUpdate (diff) | |
| download | gentoo-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" |