From 6b6e441630a9dc7acd4aeff3e41a6d72aa38bdef Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <jwakely@redhat.com>
Date: May 28 2020 22:46:09 +0000
Subject: Rebuilt for Boost 1.73


---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index f02443d..86c2a99 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        5.7.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -102,6 +102,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Thu May 28 2020 Jonathan Wakely <jwakely@redhat.com> - 5.7.1-3
+- Rebuilt for Boost 1.73
+
 * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 5.7.1-2
 - Rebuilt for Python 3.9