[SCM] minisat+ packaging annotated tag, debian/1.0-1, created. debian/1.0-1

[Ralf Treinen]

The annotated tag, debian/1.0-1 has been created
        at  baac875363a80ce5c9deed46fdaf0e7fcd80ff2f (tag)
   tagging  e3da2306ab3edf56ff5ddd4f197fbdef2e07aafa (commit)
  replaces  upstream/1.0
 tagged by  Ralf Treinen
        on  Thu May 12 22:21:27 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.0-1

Ralf Treinen (5):
      add debian tree
      update build-dep on libgmp
      close ITP bug
      update date of changelg entry, add debian/watch
      add missing build-dep zlib1g-dev

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

-- 
minisat+ packaging