From 5ad125baf77e96b4ff114539a5ca40843dff4e36 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 21 2021 20:10:07 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild


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

---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 4ce6cb8..d98854a 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -5,7 +5,7 @@
 
 Name:           cryptominisat
 Version:        5.8.0
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -113,6 +113,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
+
 * Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 5.8.0-4
 - Rebuilt for Python 3.10