Changelog for glueminisat-2.2.7-5.fc23.x86_64.rpm :
Wed Jun 17 14:00:00 2015 Fedora Release Engineering - 2.2.7-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

Sat May 2 14:00:00 2015 Kalev Lember - 2.2.7-4
- Rebuilt for GCC 5 C++11 ABI change

Sat Aug 16 14:00:00 2014 Fedora Release Engineering - 2.2.7-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Sat Jun 7 14:00:00 2014 Fedora Release Engineering - 2.2.7-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue Aug 13 14:00:00 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 3 14:00:00 2013 Fedora Release Engineering - 2.2.5-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 2.2.5-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Thu Jul 19 14:00:00 2012 Fedora Release Engineering - 2.2.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Wed Apr 25 14:00:00 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 14:00:00 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 14:00:00 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