[SCM] minisat+ packaging branch, master, updated. upstream/1.0-5-ge3da230

[Ralf Treinen]

The following commit has been merged in the master branch:
commit dcac102447a51199267b7c1a11c47562cf068c07
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu May 12 22:13:35 2011 +0200

    update date of changelg entry, add debian/watch

diff --git a/debian/changelog b/debian/changelog
index 11d7919..a3a5080 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,5 +2,5 @@ minisat+ (1.0-1) unstable; urgency=low
 
   * Initial package (closes: Bug#626410)
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 10 May 2011 17:08:02 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 12 May 2011 22:13:24 +0200
 
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..93403a4
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,3 @@
+version=3
+opts=filenamemangle=s/minisatp/minisat+/\
+    http://minisat.se/downloads/minisatp-(.+).tar.gz
\ No newline at end of file

-- 
minisat+ packaging