gringo 5.1.0-1 source package in Debian

Changelog

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 <email address hidden>  Sun, 11 Dec 2016 13:12:35 +0100