From db46719bc471fa37d1e57e95807b25b713356e45 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jan 28 2020 15:04:04 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild


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

---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 5da0072..42f780d 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        5.6.8
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -102,6 +102,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.8-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
 * Mon Jan 27 2020 Jerry James <loganjerry@gmail.com> - 5.6.8-5
 - Rebuild for m4ri 20200125