Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package z3 for openSUSE:Factory checked in
at 2022-03-15 19:04:44
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/z3 (Old)
and /work/SRC/openSUSE:Factory/.z3.new.25692 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3"
Tue Mar 15 19:04:44 2022 rev:30 rq:961806 version:4.8.14
Changes:
--------
--- /work/SRC/openSUSE:Factory/z3/z3.changes 2022-01-24 23:10:21.586607975
+0100
+++ /work/SRC/openSUSE:Factory/.z3.new.25692/z3.changes 2022-03-15
19:05:28.064970400 +0100
@@ -1,0 +2,5 @@
+Tue Mar 15 06:18:09 UTC 2022 - Shung-Hsi Yu <shung-hsi...@suse.com>
+
+- fix python3-z3 requirement
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ z3.spec ++++++
--- /var/tmp/diff_new_pack.4J1nGM/_old 2022-03-15 19:05:28.624970780 +0100
+++ /var/tmp/diff_new_pack.4J1nGM/_new 2022-03-15 19:05:28.628970782 +0100
@@ -60,7 +60,7 @@
%package -n python3-%{name}
Summary: Python bindings for Z3
Group: Development/Languages/Python
-Requires: %{name} = %{version}
+Requires: libz3-%{sover} = %{version}
%description -n python3-%{name}
Python bindings for the Z3 library.
