[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