diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
index c2cee9e4d4ea5..1674f83d5e92d 100644
--- a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -29,6 +29,7 @@ IUSE="examples"
 PATCHES=(
 	"${FILESDIR}/${PN}-1.0.0_pre20220518-btorsplit-cstdint.patch"
 	"${FILESDIR}/${PN}-1.0.0_pre20220518-cmake-clfags.patch"
+	"${FILESDIR}/${PN}-1.0.0_pre20220518-cmake_minimum.patch"
 )
 
 src_install() {
diff --git a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch
new file mode 100644
index 0000000000000..7ced3e715c48d
--- /dev/null
+++ b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch
@@ -0,0 +1,5 @@
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -1,1 +1,1 @@
+-cmake_minimum_required(VERSION 3.3)
++cmake_minimum_required(VERSION 3.20)