commit: 2cc7910e0b59fb3a560707dc6885ca979814e323 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Fri Mar 28 19:28:17 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Mar 28 19:28:17 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2cc7910e
sci-mathematics/cvc4: enable py3.13 Closes: https://bugs.gentoo.org/952683 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild index 6516da9ba043..d7142bce1f9a 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild @@ -1,10 +1,10 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 CMAKE_MAKEFILE_GENERATOR=emake -PYTHON_COMPAT=( python3_{9..12} ) +PYTHON_COMPAT=( python3_{10..13} ) inherit cmake python-any-r1 DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
