Rebuilt for Boost 1.78

2022-05-04 11:38:07 +02:00 · 2022-05-04 11:38:07 +02:00 · 8fee40352c
commit 8fee40352c
parent 2cd06bcf77
1 changed files with 4 additions and 1 deletions
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@ -5,7 +5,7 @@

 Name:           cryptominisat
 Version:        5.8.0
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        SAT solver

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

 %changelog
+* Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 5.8.0-8
+- Rebuilt for Boost 1.78
+
 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild