From e21c95356137fb5af12d4fc4d6ab0bf4590d29ab Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Tue, 19 Jul 2016 13:15:01 +0000
Subject: [PATCH] -
 https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages

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

diff --git a/z3.spec b/z3.spec
index dfc6d44..e2693f3 100644
--- a/z3.spec
+++ b/z3.spec
@@ -8,7 +8,7 @@
 
 Name:           z3
 Version:        4.4.1
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -267,6 +267,9 @@ chmod 0755 %{buildroot}%{_bindir}/* %{buildroot}%{_libdir}/*.so.0.0.0 \
 %{python2_sitearch}/%{name}/
 
 %changelog
+* Tue Jul 19 2016 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.4.1-7
+- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
+
 * Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 4.4.1-6
 - Fix Java interface (bz 1353773)