Changelog for minisat2-devel-2.2.0-5.fc17.x86_64.rpm :
Fri Mar 1 13:00:00 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 13:00:00 2013 Fedora Release Engineering - 2.2.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Fri Jul 20 14:00:00 2012 Fedora Release Engineering - 2.2.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Mon Jan 9 13:00:00 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 14:00:00 2011 Jerry James - 2.2.0-1
- New upstream version
- Drop upstreamed template patch
- Drop unnecessary spec file elements (BuildRoot, etc.)

Tue Feb 8 13:00:00 2011 Fedora Release Engineering - 2.0-10.20070721
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Sat Jul 25 14:00:00 2009 Fedora Release Engineering - 2.0-9.20070721
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Wed Feb 25 13:00:00 2009 Fedora Release Engineering - 2.0-8.20070721
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Thu Aug 7 14:00:00 2008 David A. Wheeler 2.0-7.20070721
- Removed code for switching between -O2 and -O3, per reviewer request.

Thu Aug 7 14: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

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

Tue Jul 8 14: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

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

Fri Jun 27 14: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.

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