Changelog for minisat2-2.0-7.20070721.fc8.x86_64.rpm :
Fri Aug 8 00:00:00 2008 David A. Wheeler 2.0-7.20070721
- Removed code for switching between -O2 and -O3, per reviewer request.

Fri Aug 8 00:00:00 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

Wed Jul 9 00:00:00 2008 David A. Wheeler 2.0-5.20070721
- Moved to higher optimization level (-O3); speed is critical for this app.

Wed Jul 9 00:00:00 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

Sun Jun 29 00:00:00 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.

Sat Jun 28 00:00:00 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.

Fri Jun 27 00:00:00 2008 Earl Sammons 2.0-1.20070721
- Initial build
- Include Debian patches minisat2-FPU.patch and minisat2-template.patch