[gringo] 20/20: Update changelog

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 5e6c12fd4afc78eadb3be1b90eeeb321076b26dc
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 11 14:42:04 2016 +0100

    Update changelog
---
 debian/changelog | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 102198f..dd28be9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,23 @@
+gringo (5.1.0-1) unstable; urgency=medium
+
+  * New upstream version 5.1.0
+  * debian/copyright: update copyright year and github source
+  * debian/control
+    - Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
+    - point Homepage to https://www.potassco.org
+    - use https for Vcs-*
+    - add Breaks clasp (<< 3.2.1-1)
+  * debian/rules
+    - build lpconvert
+    - drop libtbb-dev and use c++11 multi-threading
+    - disable threads on powerpc,powerpcspe,m68k,mips,mipsel,sh4
+  * drop already applied upstream patches: gringo-include-math.patch,
+    gringo-solve-multi.patch, gringo-translate-minmax.patch
+  * gringo-fix-body-literals-as-auxiliary.patch: add upstream patch
+    cherry-picked from d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Sun, 11 Dec 2016 13:12:35 +0100
+
 gringo (4.5.4-4) unstable; urgency=medium
 
   * Bug fix: "please make the build reproducible", thanks to

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git