[SCM] solver for quantified boolean formulae branch, master, updated. ace6d22f039a5f0bc9b2e5517f58af03cdc04a3b
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Sun Aug 12 20:44:12 UTC 2012
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
More information about the debian-science-commits
mailing list