From fb4076ae94cd4d32faa37213383d9f23e8d27fe5 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sat, 22 Jun 2019 09:11:24 -0600
Subject: [PATCH] New upstream version.

---
 .gitignore |  1 +
 sources    |  2 +-
 z3.spec    | 11 +++++++----
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index 6d4f38b..f3d183b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /z3-*.tar.gz
+/Z3-*.tar.gz
diff --git a/sources b/sources
index b80e858..e433eaf 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.8.4.tar.gz) = 4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4
+SHA512 (Z3-4.8.5.tar.gz) = ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309
diff --git a/z3.spec b/z3.spec
index 5947f54..ddd8716 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,13 +1,13 @@
 %global medtag   d6df51951f4c
 
 Name:           z3
-Version:        4.8.4
-Release:        3%{?dist}
+Version:        4.8.5
+Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
 URL:            https://github.com/Z3Prover/z3
-Source0:        https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz
+Source0:        https://github.com/Z3Prover/z3/archive/Z3-%{version}.tar.gz
 
 BuildRequires:  doxygen
 BuildRequires:  gcc-c++
@@ -88,7 +88,7 @@ Provides:       python2-%{name} = 4.8
 Python 3 interface to z3.
 
 %prep
-%setup -q -n %{name}-%{name}-%{version}
+%setup -q -n %{name}-Z3-%{version}
 
 # Install python objects into the right place, enable verbose builds, use
 # Fedora CFLAGS, preserve timestamps when installing, include the entire
@@ -226,6 +226,9 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
 %{python3_sitearch}/%{name}/
 
 %changelog
+* Sat Jun 22 2019 Jerry James <loganjerry@gmail.com> - 4.8.5-1
+- New upstream version
+
 * Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
 - OCaml 4.08.0 (beta 3) rebuild.