From 23579e6beed776a708c66325da9061dc9e2ef955 Mon Sep 17 00:00:00 2001
From: Python Maint <python-maint@redhat.com>
Date: Jun 13 2022 17:53:15 +0000
Subject: Rebuilt for Python 3.11


---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 7f01084..872f2b7 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -5,7 +5,7 @@
 
 Name:           cryptominisat
 Version:        5.8.0
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -113,6 +113,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 5.8.0-9
+- Rebuilt for Python 3.11
+
 * Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 5.8.0-8
 - Rebuilt for Boost 1.78