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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit cc36cb4639541f7180737e87423966d8fb8dc501
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Sep 10 08:25:21 2011 +0200

    Set DM-Upload-Allowed.

diff --git a/debian/control b/debian/control
index 5d35f5e..b44840c 100644
--- a/debian/control
+++ b/debian/control
@@ -4,6 +4,7 @@ Priority: extra
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 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/
 Vcs-Git: git://git.debian.org/debian-science/packages/depqbf.git

-- 
solver for quantified boolean formulae