Rebuilt for Boost 1.75

2021-01-22 20:51:28 +00:00 · 2021-01-22 20:51:28 +00:00 · 522d97ddcc
commit 522d97ddcc
parent 0eb173600e
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:        1%{?dist}
+Release:        2%{?dist}
 Summary:        SAT solver

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

 %changelog
+* Fri Jan 22 2021 Jonathan Wakely <jwakely@redhat.com> - 5.8.0-2
+- Rebuilt for Boost 1.75
+
 * Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 5.8.0-1
 - Version 5.8.0