From 8e8df669ade37a50f70ae6745d305890cf8cbd74 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Fri, 5 Feb 2016 04:01:44 +0000
Subject: [PATCH] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

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

diff --git a/z3.spec b/z3.spec
index 630128e..27744d8 100644
--- a/z3.spec
+++ b/z3.spec
@@ -8,7 +8,7 @@
 
 Name:           z3
 Version:        4.4.1
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -264,6 +264,9 @@ chmod 0755 %{buildroot}%{_bindir}/* %{buildroot}%{_libdir}/*.so.0.0.0 \
 %{python2_sitearch}/%{name}/
 
 %changelog
+* Fri Feb 05 2016 Fedora Release Engineering <releng@fedoraproject.org> - 4.4.1-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
 * Tue Feb 02 2016 Jonathan Wakely <jwakely@redhat.com> - 4.4.1-3
 - Patched for C++11 compatibility.