Rebuilt for Python 3.7

2018-06-19 10:41:38 +02:00 · 2018-06-19 10:41:38 +02:00 · 5c7a52ce03
parent 6232da0697
commit 5c7a52ce03
1 changed files with 4 additions and 1 deletions
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        5.6.3
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        SAT solver

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

 %changelog
+* Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 5.6.3-2
+- Rebuilt for Python 3.7
+
 * Tue Jun 12 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-1
 - New upstream release
 - License change to MIT