diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.21-r2.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.21-r3.ebuild
similarity index 86%
rename from sci-mathematics/cryptominisat/cryptominisat-5.11.21-r2.ebuild
rename to sci-mathematics/cryptominisat/cryptominisat-5.11.21-r3.ebuild
index 084bcfac7e15..0cfd3574a976 100644
--- a/sci-mathematics/cryptominisat/cryptominisat-5.11.21-r2.ebuild
+++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.21-r3.ebuild
@@ -1,11 +1,11 @@
-# Copyright 1999-2025 Gentoo Authors
+# Copyright 1999-2026 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
 CMAKE_IN_SOURCE_BUILD="ON"
 
-PYTHON_COMPAT=( python3_{11..13} )
+PYTHON_COMPAT=( python3_{12..14} )
 
 DISTUTILS_EXT="1"
 DISTUTILS_OPTIONAL="1"
@@ -19,7 +19,7 @@ HOMEPAGE="https://github.com/msoos/cryptominisat/"
 if [[ "${PV}" == *9999* ]] ; then
 	inherit git-r3
 
-	EGIT_REPO_URI="https://github.com/msoos/${PN}.git"
+	EGIT_REPO_URI="https://github.com/msoos/${PN}"
 else
 	SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz
 		-> ${P}.tar.gz"
@@ -30,7 +30,7 @@ fi
 LICENSE="GPL-2 MIT"
 SLOT="0/${PV}"
 IUSE="python"
-RESTRICT="test"                               # Tests require some git modules.
+RESTRICT="test"  # Tests require some git modules.
 REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )"
 
 RDEPEND="