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

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

This commit is contained in:
Dennis Gilmore 2011-02-09 10:17:02 -06:00
parent 1c2ac5b331
commit 0b0180798c
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

@ -2,7 +2,7 @@
Name: stp
Version: 0.1
Release: 5%{?dist}
Release: 6%{?dist}
Summary: Constraint solver/decision procedure
Group: Applications/Engineering
@ -111,6 +111,9 @@ rm -rf %{buildroot}
%{_includedir}/stp/
%changelog
* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild