This commit is contained in:
parent
521711a8f6
commit
8448a2b100
5
stp.spec
5
stp.spec
@ -7,7 +7,7 @@
|
||||
|
||||
Name: stp
|
||||
Version: 2.1.2
|
||||
Release: 2.%{gitdate}git.%{shorttag}%{?dist}
|
||||
Release: 3.%{gitdate}git.%{shorttag}%{?dist}
|
||||
Summary: Constraint solver/decision procedure
|
||||
|
||||
License: MIT
|
||||
@ -110,6 +110,9 @@ fi
|
||||
%{python2_sitelib}/%{name}/
|
||||
|
||||
%changelog
|
||||
* Tue Jul 19 2016 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.1.2-3.20151122git.3785148
|
||||
- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
|
||||
|
||||
* Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.1.2-2.20151122git.3785148
|
||||
- Rebuild for minisat 2.2.1
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user