diff --git cryptominisat4/cryptominisat4.spec cryptominisat4/cryptominisat4.spec.tmp
index c4cc89cbd0..69ecba48b8 100644
--- cryptominisat4/cryptominisat4.spec
+++ cryptominisat4/cryptominisat4.spec.tmp
@@ -1,6 +1,6 @@
 Name:           cryptominisat4
 Version:        4.5.3
-Release:        12%{?dist}
+Release:        13%{?dist}
 Summary:        SAT solver
 
 License:        LGPLv2
@@ -49,11 +49,12 @@ Summary:        Cryptominisat library
 %description libs
 The %{name} library.
 
-%package -n python-%{name}
+%package -n python2-%{name}
+%{?python_provide:%python_provide python2-%{name}}
 Summary:        Python interface to %{name}
 Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 
-%description -n python-%{name}
+%description -n python2-%{name}
 Python interface to %{name}.
 
 %prep
@@ -120,12 +121,16 @@ chmod 0755 %{buildroot}%{python2_sitearch}/pycryptosat.so
 %license LICENSE-LGPL
 %{_libdir}/lib%{name}.so.*
 
-%files -n python-%{name}
+%files -n python2-%{name}
 %doc python/README.rst
 %license python/LICENSE
 %{python2_sitearch}/pycryptosat*
 
 %changelog
+* Thu Aug 10 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 4.5.3-13
+- Python 2 binary package renamed to python2-cryptominisat4
+  See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
+
 * Sun Aug 06 2017 Björn Esser <besser82@fedoraproject.org> - 4.5.3-12
 - Rebuilt for AutoReq cmake-filesystem