rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Python 2 binary package renamed to python2-stp

This commit is contained in:
Zbigniew Jędrzejewski-Szmek 2017-08-19 09:44:11 -04:00
parent f74d69cd91
commit 96c17282ab
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
stp.spec
View File

@ -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 <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