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

rebuild for Boost 1.58

This commit is contained in:
David Tardon 2015-07-22 19:37:56 +02:00
parent c3c360bb29
commit 27bebffa03
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: 28.%{gitdate}git.%{shorttag}%{?dist}
Release: 29.%{gitdate}git.%{shorttag}%{?dist}
Summary: Constraint solver/decision procedure
Group: Applications/Engineering
@ -92,6 +92,9 @@ fi
%{_libdir}/cmake/STP/
%changelog
* Wed Jul 22 2015 David Tardon <dtardon@redhat.com> - 0.1-29.20140619git.44de620
- rebuild for Boost 1.58
* Fri Jun 19 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-28.20140619git.44de620
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild