From 2cc7910e0b59fb3a560707dc6885ca979814e323 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Fri, 28 Mar 2025 20:28:17 +0100 Subject: [PATCH] sci-mathematics/cvc4: enable py3.13 Closes: https://bugs.gentoo.org/952683 Signed-off-by: Alfredo Tupone --- 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 6516da9ba0433..d7142bce1f9ac 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"