[SCM] conflict-driven nogood learning answer set solver branch, master, updated. debian/2.0.6-2-3-g52f5294

Thomas Krennwallner tkren at kr.tuwien.ac.at
Tue May 21 16:24:44 UTC 2013


The following commit has been merged in the master branch:
commit 52f529487056227c60247758c752961bf92c37e6
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Tue May 21 18:24:11 2013 +0200

    New upstream release.

diff --git a/debian/changelog b/debian/changelog
index 8fc7e44..9fa2dfb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+clasp (2.1.3-1) unstable; urgency=low
+
+  * New upstream release.
+  * debian/copyright: Update copyright years.
+  * debian/control: Remove DM-Upload-Allowed.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Tue, 21 May 2013 09:22:08 +0200
+
 clasp (2.1.1-1) unstable; urgency=low
 
   * New upstream release.
diff --git a/debian/control b/debian/control
index f8f1591..4f78836 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,6 @@ Section: interpreters
 Priority: extra
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
-DM-Upload-Allowed: yes
 Build-Depends: debhelper (>= 9),
  dpkg-dev (>= 1.16.1~),
  libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64]
diff --git a/debian/copyright b/debian/copyright
index ad28580..ba07f80 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -10,7 +10,7 @@ License: GPL-2+
 
 
 Files: debian/*
-Copyright: 2010-2012, Thomas Krennwallner
+Copyright: 2010-2013, Thomas Krennwallner
 License: GPL-2+
  This package was debianized by Thomas Krennwallner <tkren at kr.tuwien.ac.at>
  on Thu, 04 Mar 2010 19:31:51 +0100

-- 
conflict-driven nogood learning answer set solver



More information about the debian-science-commits mailing list