[minisat2/f17] (3 commits) ...Add a man page, courtesy of the Debian maintainers. Build a shared library, and add -devel and -libs

[Jerry James]

Summary of changes:

  5476c4b... - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass (*)
  d04d9ea... - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass (*)
  ed37227... Add a man page, courtesy of the Debian maintainers. Build a (*)

(*) This commit already existed in another branch; no separate mail sent