Changelog for glueminisat-2.2.5-4.fc18.i686.rpm :
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