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

Rebuild for boost 1.55.0

This commit is contained in:
Petr Machata 2014-05-23 03:23:14 +02:00
parent 75cefd8104
commit c8ee09bb29
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
stp.spec
View File

@ -7,7 +7,7 @@
Name: stp
Version: 0.1
Release: 20.%{gitdate}git.%{shorttag}%{?dist}
Release: 21.%{gitdate}git.%{shorttag}%{?dist}
Summary: Constraint solver/decision procedure
Group: Applications/Engineering
@ -94,6 +94,9 @@ fi
%{_libdir}/cmake/STP/
%changelog
* Fri May 23 2014 Petr Machata <pmachata@redhat.com> - 0.1-21.20140402git.f8a392d
- Rebuild for boost 1.55.0
* Tue Apr 29 2014 Jerry James <loganjerry@gmail.com> - 0.1-20.20140402git.f8a392d
- Update to recent git snapshot