From ec1f00c350dcaaa5110637cb0798805a6e06efec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Miro=20Hron=C4=8Dok?= <miro@hroncok.cz>
Date: Tue, 26 May 2020 03:51:01 +0200
Subject: [PATCH] Rebuilt for Python 3.9

---
 stp.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/stp.spec b/stp.spec
index 9ae3f65..ce10f3c 100644
--- a/stp.spec
+++ b/stp.spec
@@ -1,6 +1,6 @@
 Name:		stp
 Version:	2.3.3
-Release:	6%{?dist}
+Release:	7%{?dist}
 Summary:	Constraint solver/decision procedure
 
 License:	MIT
@@ -108,6 +108,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 2.3.3-7
+- Rebuilt for Python 3.9
+
 * Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.3.3-6
 - Rebuild for cryptominisat 5.7.0