Rebuilt for Python 3.11

2022-06-13 19:53:15 +02:00 · 2022-06-13 19:53:15 +02:00 · 23579e6bee
commit 23579e6bee
parent 8fee40352c
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:        8%{?dist}
+Release:        9%{?dist}
 Summary:        SAT solver

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

 %changelog
+* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 5.8.0-9
+- Rebuilt for Python 3.11
+
 * Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 5.8.0-8
 - Rebuilt for Boost 1.78