diff --git stp/stp.spec stp/stp.spec.tmp
index 4cb51c23a5..44c057ff5c 100644
--- stp/stp.spec
+++ stp/stp.spec.tmp
@@ -7,7 +7,7 @@
 
 Name:		stp
 Version:	2.1.2
-Release:	8.%{gitdate}git.%{shorttag}%{?dist}
+Release:	9.%{gitdate}git.%{shorttag}%{?dist}
 Summary:	Constraint solver/decision procedure
 
 License:	MIT
@@ -56,12 +56,13 @@ Development files for the STP (Simple Theorem Prover),
 a constraint solver (also referred to as a decision procedure
 or automated prover).  Provides a static library.
 
-%package -n python-%{name}
+%package -n python2-%{name}
+%{?python_provide:%python_provide python2-%{name}}
 Summary:	Python 2 interface to STP
 Requires:	%{name} = %{version}-%{release}
 BuildArch:	noarch
 
-%description -n python-%{name}
+%description -n python2-%{name}
 Python 2 interface to STP.
 
 %prep
@@ -110,10 +111,14 @@ fi
 %{_libdir}/cmake/STP/
 %{_libdir}/libstp.so
 
-%files -n python-%{name}
+%files -n python2-%{name}
 %{python2_sitelib}/%{name}/
 
 %changelog
+* Sat Aug 12 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 2.1.2-9.20151122git.3785148
+- Python 2 binary package renamed to python2-stp
+  See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
+
 * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-8.20151122git.3785148
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild