Changelog for glueminisat-2.2.8-6.fc28.i686.rpm :

* Wed Feb 07 2018 Fedora Release Engineering - 2.2.8-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Aug 02 2017 Fedora Release Engineering - 2.2.8-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 2.2.8-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Fri Feb 10 2017 Fedora Release Engineering - 2.2.8-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Wed Feb 03 2016 Fedora Release Engineering - 2.2.8-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jan 27 2016 John C. Peterson - 2.2.8-1- Updated to the most recent release from upstream, now distributed in zip fmt- Updated the glueminisat-FPU.patch (some line numbers had shifted too much)- Removed the (sed) patches to code/mtl/template.mk (it\'s not needed anymore)- Removed the glueminisat-printf.patch (too much trouble to keep up with it)- Build for Fedora 23
* Wed Jun 17 2015 Fedora Release Engineering - 2.2.7-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat May 02 2015 Kalev Lember - 2.2.7-4- Rebuilt for GCC 5 C++11 ABI change
* Sat Aug 16 2014 Fedora Release Engineering - 2.2.7-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 2.2.7-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue Aug 13 2013 John C. Peterson - 2.2.7-1- Updated to the latest release from upstream. Some of the fixes from the previous glueminisat-printf.patch were incorporated by upstream into 2.2.7. Modified the patch to address new problems of a similar (cosmetic) nature.- Now builds both the \"core\" and \"simp\" executables and installs them as alternatives for the generic executable named \"glueminisat\".- Some minor changes to the build process to support the alternatives.- Eliminated the -ffloat-store compiler option (as it\'s configured at runtime)
* Sat Aug 03 2013 Fedora Release Engineering - 2.2.5-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed Feb 13 2013 Fedora Release Engineering - 2.2.5-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Thu Jul 19 2012 Fedora Release Engineering - 2.2.5-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Wed Apr 25 2012 John C. Peterson - 2.2.5-3- Wrote an HTML \"intro\" document with links to David Wheeler\'s MiniSat tutorial- Fixed minor typo error in the comments about the URL tag value- Added some additional information to the package description
* Tue Apr 24 2012 John C. Peterson - 2.2.5-2- Replaced the usage of redundant global \"myname\" with standard macro \"name\"- Replaced the occurrences of glueminisat with \"name\" macro in source, patches- Sent the patches to upstream (Hidetomo Nabeshima, the primary author)- Addition to glueminisat-printf.patch (based on feedback from author)
* Sat Apr 14 2012 John C. Peterson - 2.2.5-1- Note that GlueMiniSat is a derivative work of the MiniSat 2.2 SAT solver- Initial RPM spec file is based on the one from the Fedora minisat2 package- Cosmetic patch to keep progress messages under 80 characters (avoids wrap)- Adapted the FPU patch from the Fedora minisat2 package