Changelog for
minisat2-devel-2.2.1-4.fc27.i686.rpm :
* Thu Aug 03 2017 Fedora Release Engineering
- 2.2.1-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 2.2.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Fri Feb 10 2017 Fedora Release Engineering - 2.2.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Sat Mar 19 2016 Jerry James - 2.2.1-1- Switch to Debian sources
* Thu Feb 04 2016 Fedora Release Engineering - 2.2.0-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jun 17 2015 Fedora Release Engineering - 2.2.0-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Thu Apr 16 2015 Jerry James - 2.2.0-11- The -devel subpackage needs to Requires zlib-devel
* Fri Feb 20 2015 Jerry James - 2.2.0-10- Use license macro
* Sun Aug 17 2014 Fedora Release Engineering - 2.2.0-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 2.2.0-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Sat Aug 03 2013 Fedora Release Engineering - 2.2.0-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Mon Jul 01 2013 Jerry James - 2.2.0-6- Fix a race between %check and assembling the files to package
* Fri Mar 01 2013 Jerry James - 2.2.0-5- Add a man page, courtesy of the Debian maintainers- Build a shared library, and add -devel and -libs packages (bz 912190)
* Thu Feb 14 2013 Fedora Release Engineering - 2.2.0-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Fri Jul 20 2012 Fedora Release Engineering - 2.2.0-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jan 09 2012 Jerry James - 2.2.0-2- Rebuild for GCC 4.7- Use the canonical source URL- Drop the use of -ffloat-store, since the code sets the FPU mode
* Wed Jun 22 2011 Jerry James - 2.2.0-1- New upstream version- Drop upstreamed template patch- Drop unnecessary spec file elements (BuildRoot, etc.)
* Tue Feb 08 2011 Fedora Release Engineering - 2.0-10.20070721- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Sat Jul 25 2009 Fedora Release Engineering - 2.0-9.20070721- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Wed Feb 25 2009 Fedora Release Engineering - 2.0-8.20070721- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Thu Aug 07 2008 David A. Wheeler 2.0-7.20070721- Removed code for switching between -O2 and -O3, per reviewer request.
* Thu Aug 07 2008 David A. Wheeler 2.0-6.20070721- Timing tests found -O3 was unhelpful; switched back to -O2, but left stub in case a switch to another -O level would help in the future. -O3 real 0m35.714s, 0m35.714s, 0m35.834s vs. -O2 real 0m35.296s, 0m35.301s
* Tue Jul 08 2008 David A. Wheeler 2.0-5.20070721- Moved to higher optimization level (-O3); speed is critical for this app.
* Tue Jul 08 2008 David A. Wheeler 2.0-4.20070721- Different version number convention to better conform to Fedora guidelines- Made macro use consistent (not used for simple commands)- Documented when patches and documentation sent upstream
* Sat Jun 28 2008 David A. Wheeler 2.0-3.20070721- Use \"make r\" instead of \"make\" to create \"released\" version- Wrote brief user guide, included as part of this package.
* Fri Jun 27 2008 David A. Wheeler 2.0-2.20070721- Switched from minimal \"core\" to more-capable \"simp\" (simplifier)- Change \"make\" invocation so CFLAGS includes %{optflags}- Add test file and %check section (so we\'d know if it worked!)- Modified description for people who don\'t know what SAT solvers are.
* Thu Jun 26 2008 Earl Sammons 2.0-1.20070721- Initial build- Include Debian patches minisat2-FPU.patch and minisat2-template.patch
