[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 1dd9903813eb8ef20d608b311b153cc8a0b978f5
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 17:08:13 2011 +0200

    update version number

diff --git a/debian/changelog b/debian/changelog
index 9e6221e..70ab891 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,6 @@
-minisat+ (0.2007.01.05-1) unstable; urgency=low
+minisat+ (2010.05.10-1) unstable; urgency=low
 
   * Initial package.
 
- -- Ralf Treinen <treinen at pps.jussieu.fr>  Mon, 02 May 2011 22:46:38 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 10 May 2011 17:08:02 +0200
 

-- 
minisat+ packaging