From 2cd06bcf7746d92fda25f2e4bb5285327877fd54 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jan 20 2022 00:03:04 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild


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

---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 8e94be7..d56d7fc 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -5,7 +5,7 @@
 
 Name:           cryptominisat
 Version:        5.8.0
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -113,6 +113,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
+
 * Fri Aug 06 2021 Jonathan Wakely <jwakely@redhat.com> - 5.8.0-6
 - Rebuilt for Boost 1.76