diff --git a/z3.spec b/z3.spec
index 98777d7b82..24c12f145d 100644
--- a/z3.spec
+++ b/z3.spec
@@ -8,7 +8,7 @@
 
 Name:           z3
 Version:        4.5.0
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -83,11 +83,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
@@ -246,10 +247,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
+* Sun Dec 17 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 4.5.0-8
+- Python 2 binary package renamed to python2-z3
+  See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
+
 * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 4.5.0-7
 - OCaml 4.06.0 rebuild.
 - Add dependency on ocaml-num.