From 8fee40352cf7ed3916387c8901fb9d64f62ea837 Mon Sep 17 00:00:00 2001
From: Thomas Rodgers <trodgers@redhat.com>
Date: Wed, 4 May 2022 11:38:07 +0200
Subject: [PATCH] Rebuilt for Boost 1.78

---
 cryptominisat.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/cryptominisat.spec b/cryptominisat.spec
index d56d7fc..7f01084 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -5,7 +5,7 @@
 
 Name:           cryptominisat
 Version:        5.8.0
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -113,6 +113,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 5.8.0-8
+- Rebuilt for Boost 1.78
+
 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild