[SCM] minisat+ packaging branch, upstream, created. d984c679c42cbd2311881f7949a1e85cfcd4f081

[Ralf Treinen]

The branch, upstream has been created
        at  d984c679c42cbd2311881f7949a1e85cfcd4f081 (commit)

- Shortlog ------------------------------------------------------------
commit d984c679c42cbd2311881f7949a1e85cfcd4f081
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 20:09:41 2011 +0200

    Imported Upstream version 1.0

-----------------------------------------------------------------------

-- 
minisat+ packaging