diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
index a4f699cc2afd3..6ff76af75ca29 100644
--- a/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
+++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
@@ -21,6 +21,8 @@ RDEPEND="
 "
 DEPEND="${RDEPEND}"
 
+PATCHES=( "${FILESDIR}"/${PN}-5.11.4-gcc-13.patch )
+
 src_configure() {
 	local -a mycmakeargs=(
 		-DNOBREAKID=ON
diff --git a/sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch b/sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch
new file mode 100644
index 0000000000000..e9c7fade75fe7
--- /dev/null
+++ b/sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch
@@ -0,0 +1,11 @@
+index 0cf7910..54cb45e 100644
+--- a/src/ccnr.h
++++ b/src/ccnr.h
+@@ -23,6 +23,7 @@ THE SOFTWARE.
+ #ifndef CCNR_H
+ #define CCNR_H
+ 
++#include <cstdint>
+ #include <string>
+ #include <vector>
+ #include "ccnr_mersenne.h"