Changelog for stp-2.1.2-2.20151122git.3785148.fc24.x86_64.rpm :

* Sat Mar 19 2016 Jerry James - 2.1.2-2.20151122git.3785148- Rebuild for minisat 2.2.1
* Sat Feb 20 2016 Jerry James - 2.1.2-1.20151122git.3785148- Update to recent git snapshot
* Fri Feb 05 2016 Fedora Release Engineering - 2.1.0-3.20150904git.5405af4- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Tue Jan 19 2016 Jonathan Wakely - 2.1.0-2.20150904git.5405af4- Rebuilt for Boost 1.60
* Fri Sep 04 2015 Jerry James - 2.1.0-1.20150904git.5405af4- Update to recent git snapshot
* Wed Jul 29 2015 Fedora Release Engineering - 0.1-30.20140619git.44de620- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
* Wed Jul 22 2015 David Tardon - 0.1-29.20140619git.44de620- rebuild for Boost 1.58
* Fri Jun 19 2015 Fedora Release Engineering - 0.1-28.20140619git.44de620- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat May 02 2015 Kalev Lember - 0.1-27.20140619git.44de620- Rebuilt for GCC 5 C++11 ABI change
* Sat Feb 21 2015 Jerry James - 0.1.26-20140610git.44de620- Use license macro
* Tue Jan 27 2015 Petr Machata - 0.1-25.20140619git.44de620- Rebuild for boost 1.57.0
* Mon Aug 18 2014 Fedora Release Engineering - 0.1-24.20140619git.44de620- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Wed Jun 18 2014 Jerry James - 0.1-23.20140619git.44de620- Update to recent git snapshot- Drop upstreamed -undefined patch
* Sun Jun 08 2014 Fedora Release Engineering - 0.1-22.20140402git.f8a392d- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Fri May 23 2014 Petr Machata - 0.1-21.20140402git.f8a392d- Rebuild for boost 1.55.0
* Tue Apr 29 2014 Jerry James - 0.1-20.20140402git.f8a392d- Update to recent git snapshot
* Wed Mar 19 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 09 2013 Jerry James - 0.1-18.20130223svn- Really rebuild for cryptominisat 2.9.8
* Thu Sep 26 2013 Jerry James - 0.1-17.20130223svn- Rebuild for cryptominisat 2.9.8- Disable regression tests for non-x86 (see bz 1012698)
* Sun Aug 04 2013 Fedora Release Engineering - 0.1-16.20130223svn- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Tue Jul 30 2013 Petr Machata - 0.1-15.20130223svn- Rebuild for boost 1.54.0
* Mon Mar 11 2013 Jerry James - 0.1.14-20130223svn- Update to recent subversion snapshot- Reenable the check script
* Mon Feb 11 2013 Jerry James - 0.1-13.20130211svn- Update to recent subversion snapshot
* Wed Oct 17 2012 Jerry James - 0.1-12.20121002svn- Update to recent subversion snapshot
* Tue Aug 07 2012 Jerry James - 0.1-11.20120615svn- Update to recent subversion snapshot- Do not build bundled cryptominisat
* Sat Jul 21 2012 Fedora Release Engineering - 0.1-10.20120109svn- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Tue Feb 28 2012 Fedora Release Engineering - 0.1-9.20120109svn- Rebuilt for c++ ABI breakage
* Tue Jan 10 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 2011 Jerry James - 0.1-7.20111130svn- Update to recent subversion snapshot- Minor spec file cleanups
* Wed Feb 09 2011 Fedora Release Engineering - 0.1-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Sun Jul 26 2009 Fedora Release Engineering - 0.1-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Fri Mar 06 2009 David A. Wheeler 0.1-4- Re-sync with CVS
* Fri Mar 06 2009 David A. Wheeler 0.1-3- Modified spec so can rebuild in proper order on Fedora
* Tue Mar 03 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 2009 David A. Wheeler 0.1-1- Initial packaging