Changelog for picosat-devel-936-6-mdv2011.0.i586.rpm :

* Sun Feb 27 2011 Funda Wang 936-6mdv2011.0+ Revision: 640458- rebuild to obsolete old packages
* Tue Feb 22 2011 Alexandre Lissy 936-5+ Revision: 639278- Fixing compilation issues and trace patch not being applied
* Mon Feb 21 2011 Alexandre Lissy 936-4+ Revision: 639143- fixes major to 1 (as debian)- fixing install directory of picosat.h as
* Mon Feb 21 2011 Alexandre Lissy 936-3+ Revision: 639137- Fixes the dependency on library package- Fixing -devel package name- Using major for library version
* Mon Feb 21 2011 Alexandre Lissy 936-2+ Revision: 639126- Improving packaging for libraries using libname defines- Fixing the Group for -devel package- Fixing build issue with make -j- Fixing typo in RPM group- Adding picosat package.- Created package structure for picosat.