From 43d4200fae01262429a12e0ece0b6821969746fc Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 20 2022 23:48:37 +0000
Subject: Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild


Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 872f2b7..4f8926e 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -5,7 +5,7 @@
 
 Name:           cryptominisat
 Version:        5.8.0
-Release:        9%{?dist}
+Release:        10%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -113,6 +113,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-10
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
+
 * Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 5.8.0-9
 - Rebuilt for Python 3.11