- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-27 14:46:47 +00:00 · 2020-07-27 14:46:47 +00:00 · 4fc864f2bf
parent 873d58f223
commit 4fc864f2bf
1 changed files with 4 additions and 1 deletions
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        5.7.1
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        SAT solver

 License:        MIT
@ -102,6 +102,9 @@ fi
 %{python3_sitearch}/pycryptosat*

 %changelog
+* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
 * Thu May 28 2020 Jonathan Wakely <jwakely@redhat.com> - 5.7.1-3
 - Rebuilt for Boost 1.73