Changelog for stp-0.1-14.20130223svn.fc19.x86_64.rpm :
Mon Mar 11 13:00:00 2013 Jerry James - 0.1.14-20130223svn
- Update to recent subversion snapshot
- Reenable the check script

Mon Feb 11 13:00:00 2013 Jerry James - 0.1-13.20130211svn
- Update to recent subversion snapshot

Wed Oct 17 14:00:00 2012 Jerry James - 0.1-12.20121002svn
- Update to recent subversion snapshot

Tue Aug 7 14:00:00 2012 Jerry James - 0.1-11.20120615svn
- Update to recent subversion snapshot
- Do not build bundled cryptominisat

Sat Jul 21 14:00:00 2012 Fedora Release Engineering - 0.1-10.20120109svn
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Tue Feb 28 13:00:00 2012 Fedora Release Engineering - 0.1-9.20120109svn
- Rebuilt for c++ ABI breakage

Tue Jan 10 13:00:00 2012 Jerry James - 0.1-8.20120109svn
- Update to recent subversion snapshot
- Add GCC 4.7 patch
- Disable tests until valgrind doesn\'t cause failures in libdl

Tue Dec 13 13:00:00 2011 Jerry James - 0.1-7.20111130svn
- Update to recent subversion snapshot
- Minor spec file cleanups

Wed Feb 9 13:00:00 2011 Fedora Release Engineering - 0.1-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Sun Jul 26 14:00:00 2009 Fedora Release Engineering - 0.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Fri Mar 6 13:00:00 2009 David A. Wheeler 0.1-4
- Re-sync with CVS

Fri Mar 6 13:00:00 2009 David A. Wheeler 0.1-3
- Modified spec so can rebuild in proper order on Fedora

Tue Mar 3 13:00:00 2009 David A. Wheeler 0.1-2
- Fixed comments by Marcela Maslanova, mmaslano (at) redhat
*DOT
*com 2009-02-26
- Moved definitions of subpackages to \"top\" of spec before prep.
- moved \"check\" before \"files\".
- Use macro for release version 0.1-11-18-2008 for future updates.
- No doc for -devel package; it\'s already in the base.
- CPPFLAGS now includes optflags.

Mon Feb 23 13:00:00 2009 David A. Wheeler 0.1-1
- Initial packaging