Add -include patch for GCC 13 compatibility.

cryptominisat-include.patch

@@ -0,0 +1,10 @@
+--- src/ccnr.h.orig	2020-07-06 15:45:41.000000000 -0600
++++ src/ccnr.h	2023-01-17 19:24:13.235505927 -0700
+@@ -25,6 +25,7 @@ THE SOFTWARE.
+ 
+ #include <string>
+ #include <vector>
++#include <cstdint>
+ #include "ccnr_mersenne.h"
+ 
+ using std::vector;

cryptominisat.spec

@@ -17,6 +17,8 @@ Source0:        https://github.com/msoos/%{name}/archive/%{version}/%{name}-%{ve
 Patch0:         %{name}-cmake.patch
 # Use setuptools instead of distutils (bz 2154857)
 Patch1:         %{name}-setuptools.patch
+# Add a missing #include statement
+Patch2:         %{name}-include.patch
 
 BuildRequires:  boost-devel
 BuildRequires:  chrpath
@@ -122,6 +124,9 @@ chrpath -d %{buildroot}%{python3_sitearch}/pycryptosat*.so
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 5.8.0-11
+- Add -include patch for GCC 13 compatibility
+
 * Mon Dec 19 2022 Jerry James <loganjerry@gmail.com> - 5.8.0-11
 - Use setuptools instead of distutils (rhbz#2154857)