diff --git z3/z3.spec z3/z3.spec.tmp
index 94b9db9875..f2cc4545c8 100644
--- z3/z3.spec
+++ z3/z3.spec.tmp
@@ -8,7 +8,7 @@
 
 Name:           z3
 Version:        4.5.0
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -82,11 +82,12 @@ Requires:       ocaml-%{name}%{?_isa} = %{version}-%{release}
 %description -n ocaml-%{name}-devel
 Files for building ocaml applications that use z3.
 
-%package -n python-%{name}
+%package -n python2-%{name}
+%{?python_provide:%python_provide python2-%{name}}
 Summary:        Python 2 interface to z3
 Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 
-%description -n python-%{name}
+%description -n python2-%{name}
 Python 2 interface to z3.
 
 %prep
@@ -245,10 +246,14 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
 %{_libdir}/ocaml/Z3/*.cmxa
 %{_libdir}/ocaml/Z3/*.mli
 
-%files -n python-%{name}
+%files -n python2-%{name}
 %{python2_sitearch}/%{name}/
 
 %changelog
+* Sat Aug 12 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 4.5.0-6
+- Python 2 binary package renamed to python2-z3
+  See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
+
 * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 4.5.0-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild