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

[Thomas Krennwallner]

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

    New upstream release.

diff --git a/debian/changelog b/debian/changelog
index fcb1157..15b33b1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+depqbf (1.0-1) unstable; urgency=low
+
+  * New upstream release.
+  * debian/control: Bump Standards-Version and update Homepage and Description.
+  * debian/changelog: Update Format, Upstream-Contact, Source, and Copyright.
+  * debian/watch: Scan github for version tags.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Sun, 12 Aug 2012 22:02:14 +0200
+
 depqbf (0.1-2) unstable; urgency=low
 
   * debian/copyright: Fix unversioned-copyright-format-uri lintian
diff --git a/debian/control b/debian/control
index b44840c..f9efe58 100644
--- a/debian/control
+++ b/debian/control
@@ -5,8 +5,8 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.
 Uploaders: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 Build-Depends: debhelper (>= 8.0.0)
 DM-Upload-Allowed: yes
-Standards-Version: 3.9.2
-Homepage: http://fmv.jku.at/depqbf/
+Standards-Version: 3.9.3.1
+Homepage: http://lonsing.github.com/depqbf/
 Vcs-Git: git://git.debian.org/debian-science/packages/depqbf.git
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/depqbf.git;a=summary
 
@@ -16,7 +16,11 @@ Depends: ${shlibs:Depends}, ${misc:Depends}
 Description: solver for quantified boolean formulae
  DepQBF is a search-based solver for quantified boolean formulae (QBF)
  in prenex conjunctive normal form. It is based on the DPLL algorithm
- for QBF with conflict-driven clause and solution-driven cube
- learning. By analyzing the structure of a formula, DepQBF tries to
- identify independent variables. In addition to other benefits, this
- often increases freedom for decision making.
+ for QBF, called QDPLL, with conflict-driven clause and solution-driven
+ cube learning. By analyzing the syntactic structure of a formula,
+ DepQBF tries to identify independent variables. In general, information
+ on independent variables can be represented in the formal framework of
+ dependency schemes. DepQBF computes the so-called "standard dependency
+ scheme" of a given formula. In addition to other benefits, information
+ on independent variables often increases the freedom for decision
+ making and clause learning.
diff --git a/debian/copyright b/debian/copyright
index 47c7a19..4d89ad3 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,11 +1,12 @@
-Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: depqbf
-Upstream-Contact: Florian Lonsing <florian.lonsing at jku.at>
-Source: http://fmv.jku.at/depqbf/
+Upstream-Contact: Florian Lonsing <lonsing at kr.tuwien.ac.at.at>
+Source: http://lonsing.github.com/depqbf/
 
 
 Files: *
-Copyright: 2010 Florian Lonsing <florian.lonsing at jku.at>
+Copyright: 2010, 2011, 2012 Florian Lonsing
+	   2010, 2011, 2012 Aina Niemetz
 License: GPL-3.0+
 
 
diff --git a/debian/watch b/debian/watch
index 033eddd..617026e 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,6 +1,5 @@
 # Compulsory line, this is a version 3 file
 version=3
 
-# examine a Webserver directory
-http://fmv.jku.at/depqbf/depqbf-(.*)\.tar\.gz
-
+# examine github tags
+http://githubredir.debian.net/github/lonsing/depqbf version-(.*).tar.gz

-- 
solver for quantified boolean formulae