Changelog for picosat-devel-936-2.fc15.x86_64.rpm :
Wed Feb 9 13:00:00 2011 Fedora Release Engineering - 936-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Thu Jan 27 13:00:00 2011 Jerry James - 936-1
- Update to version 936.
- Drop picosat-sharedlib.patch, incorporated upstream.
- Add picosat-trace.patch, to support separate tracing and nontracing libs.

Tue Jan 19 13:00:00 2010 Jerry James - 913-2
- Spec file cleanups from review
- Man page courtesy of David Wheeler

Wed Sep 2 14:00:00 2009 Jerry James - 913-1
- Initial RPM