diff --git a/cryptominisat.spec b/cryptominisat.spec index 0ba180b..b82ca30 100644 --- 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 - 5.8.0-2 +- Rebuilt for Boost 1.75 + * Fri Nov 27 2020 Jerry James - 5.8.0-1 - Version 5.8.0