From 96c17282abaf1672e1b47b7366eb78246d98c9c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Sat, 19 Aug 2017 09:44:11 -0400 Subject: [PATCH] Python 2 binary package renamed to python2-stp --- stp.spec | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/stp.spec b/stp.spec index 4cb51c2..2d85eeb 100644 --- a/stp.spec +++ b/stp.spec @@ -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 19 2017 Zbigniew Jędrzejewski-Szmek - 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 - 2.1.2-8.20151122git.3785148 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild