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

- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Browse Source
This commit is contained in:
Dennis Gilmore 2012-07-21 16:21:52 -05:00
parent 88de8f7e32
commit cd5519131f
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

@ -5,7 +5,7 @@
Name: stp
Version: 0.1
Release: 9.%{svntim}%{?dist}
Release: 10.%{svntim}%{?dist}
Summary: Constraint solver/decision procedure
Group: Applications/Engineering
@ -116,6 +116,9 @@ make install PREFIX=%{buildroot}%{_prefix} LIB_DIR=%{buildroot}%{_libdir}
%{_includedir}/stp/
%changelog
* Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-10.20120109svn
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-9.20120109svn
- Rebuilt for c++ ABI breakage