Changelog for stp-2.1.0-1.20150904git.5405af4.fc23.x86_64.rpm :
Fri Sep 4 14:00:00 2015 Jerry James - 2.1.0-1.20150904git.5405af4
- Update to recent git snapshot

Wed Jul 29 14:00:00 2015 Fedora Release Engineering - 0.1-30.20140619git.44de620
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159

Wed Jul 22 14:00:00 2015 David Tardon - 0.1-29.20140619git.44de620
- rebuild for Boost 1.58

Fri Jun 19 14:00:00 2015 Fedora Release Engineering - 0.1-28.20140619git.44de620
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

Sat May 2 14:00:00 2015 Kalev Lember - 0.1-27.20140619git.44de620
- Rebuilt for GCC 5 C++11 ABI change

Sat Feb 21 13:00:00 2015 Jerry James - 0.1.26-20140610git.44de620
- Use license macro

Tue Jan 27 13:00:00 2015 Petr Machata - 0.1-25.20140619git.44de620
- Rebuild for boost 1.57.0

Mon Aug 18 14:00:00 2014 Fedora Release Engineering - 0.1-24.20140619git.44de620
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Wed Jun 18 14:00:00 2014 Jerry James - 0.1-23.20140619git.44de620
- Update to recent git snapshot
- Drop upstreamed -undefined patch

Sun Jun 8 14:00:00 2014 Fedora Release Engineering - 0.1-22.20140402git.f8a392d
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Fri May 23 14:00:00 2014 Petr Machata - 0.1-21.20140402git.f8a392d
- Rebuild for boost 1.55.0

Tue Apr 29 14:00:00 2014 Jerry James - 0.1-20.20140402git.f8a392d
- Update to recent git snapshot

Wed Mar 19 13:00:00 2014 Jerry James - 0.1-19.20140319git.6110a49
- Update to recent git snapshot, now hosted on github
- Build now uses cmake
- Tests now need boolector, which has license problems. Disable %check for
now unless we can find something useful to do.

Wed Oct 9 14:00:00 2013 Jerry James - 0.1-18.20130223svn
- Really rebuild for cryptominisat 2.9.8

Thu Sep 26 14:00:00 2013 Jerry James - 0.1-17.20130223svn
- Rebuild for cryptominisat 2.9.8
- Disable regression tests for non-x86 (see bz 1012698)

Sun Aug 4 14:00:00 2013 Fedora Release Engineering - 0.1-16.20130223svn
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Tue Jul 30 14:00:00 2013 Petr Machata - 0.1-15.20130223svn
- Rebuild for boost 1.54.0

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