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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 94df4840ac6d70b34577fbe291f69e9573717fcb
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Mon Sep 26 08:33:36 2011 +0200

    Fix lintian warning.

diff --git a/debian/changelog b/debian/changelog
index 117adf3..fcb1157 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+depqbf (0.1-2) unstable; urgency=low
+
+  * debian/copyright: Fix unversioned-copyright-format-uri lintian
+    warning.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Mon, 26 Sep 2011 08:33:16 +0200
+
 depqbf (0.1-1) unstable; urgency=low
 
   * Initial release (Closes: #639363)
diff --git a/debian/copyright b/debian/copyright
index e9bd4e5..47c7a19 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,15 +1,22 @@
-Format: http://dep.debian.net/deps/dep5
+Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
 Upstream-Name: depqbf
+Upstream-Contact: Florian Lonsing <florian.lonsing at jku.at>
 Source: http://fmv.jku.at/depqbf/
 
+
 Files: *
 Copyright: 2010 Florian Lonsing <florian.lonsing at jku.at>
 License: GPL-3.0+
 
+
 Files: debian/*
 Copyright: 2011 Thomas Krennwallner <tkren at kr.tuwien.ac.at>
+Comment:
+ This package was debianized by Thomas Krennwallner
+ <tkren at kr.tuwien.ac.at> on Fri, 26 Aug 2011 11:18 +0200.
 License: GPL-3.0+
 
+
 License: GPL-3.0+
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
@@ -26,4 +33,3 @@ License: GPL-3.0+
  .
  On Debian systems, the complete text of the GNU General
  Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
-

-- 
solver for quantified boolean formulae