Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2020-06-02 14:42:01 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.3606 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Tue Jun 2 14:42:01 2020 rev:21 rq:810759 version:4.8.8 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2020-04-08 19:57:25.089155588 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.3606/z3.changes 2020-06-02 14:42:48.196311186 +0200 @@ -1,0 +2,7 @@ +Tue May 26 08:10:43 UTC 2020 - Martin Pluskal <mplus...@suse.com> + +- Update to version 4.8.8: + * Various small changes +- Switch to released tarball from git snapshot + +------------------------------------------------------------------- Old: ---- _service _servicedata z3-4.8.7+git.20200407.tar.xz New: ---- z3-4.8.8.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.TbfYtt/_old 2020-06-02 14:42:49.444315131 +0200 +++ /var/tmp/diff_new_pack.TbfYtt/_new 2020-06-02 14:42:49.444315131 +0200 @@ -16,16 +16,15 @@ # -%define version_unconverted 4.8.7+git.20200407 %define sover 4_8 Name: z3 -Version: 4.8.7+git.20200407 +Version: 4.8.8 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT Group: Productivity/Scientific/Other URL: https://github.com/Z3Prover/z3/wiki -Source0: %{name}-%{version}.tar.xz +Source0: https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz Patch0: remove-timestamp.patch BuildRequires: cmake BuildRequires: gcc-c++ @@ -68,7 +67,7 @@ Python bindings for the Z3 library. %prep -%setup -q +%setup -q -n %{name}-%{name}-%{version} %patch0 -p1 %build
