Changelog for libpicosat0-936-3-mdv2011.0.i586.rpm :

* Mon Feb 21 2011 Alexandre Lissy 936-3mdv2011.0+ 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.