[SCM] solver for quantified boolean formulae branch, master, updated. ace6d22f039a5f0bc9b2e5517f58af03cdc04a3b

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 3834042f3b9710869d5a8a9a785a1838ee789d34
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Aug 12 22:11:22 2012 +0200

    Fix githubredir URL in debian/watch.

diff --git a/debian/watch b/debian/watch
index 617026e..f94dd48 100644
--- a/debian/watch
+++ b/debian/watch
@@ -2,4 +2,4 @@
 version=3
 
 # examine github tags
-http://githubredir.debian.net/github/lonsing/depqbf version-(.*).tar.gz
+http://githubredir.debian.net/github/lonsing/depqbf/ version-(.*).tar.gz

-- 
solver for quantified boolean formulae