gringo (4.5.4-1) unstable; urgency=medium

  * Imported Upstream version 4.5.4

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 19 Dec 2015 14:07:05 +0100

gringo (4.5.3-1) unstable; urgency=medium

  * Imported Upstream version 4.5.3

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 26 Sep 2015 09:31:03 +0200

gringo (4.5.1-1) unstable; urgency=medium

  * Imported Upstream version 4.5.1
  * Add reify.1 manpage

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 13 Jul 2015 09:01:56 +0200

gringo (4.5.0-1) unstable; urgency=medium

  * Bump Standards-Version to 3.9.6.
  * Imported Upstream version 4.5.0
  * debian/control: Add Breaks: aspcud (<= 1.9.0-2). Add reify description.
  * debian/copyright: Update copyright information, remove outdated files.
  * debian/docs: Remove NOTES.
  * debian/install: Install reify.
  * debian/rules: Build reify.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 11 Jul 2015 09:36:10 +0200

gringo (4.4.0-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Remove Suggests on potassco-guide.
  * debian/control: Fix Vcs fields to use anonscm.debian.org.
  * Setup git repository to use git-buildpackage.
  * Import upstream sources with git-import-orig --pristine-tar.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 18 Aug 2014 17:10:34 +0200

gringo (4.3.0-2) unstable; urgency=low

  * Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to
    Matthias Klose (Closes: #751317).
  * Build with system-wide liblua5.2-dev.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 12 Jun 2014 09:16:31 +0200

gringo (4.3.0-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 26 Feb 2014 13:06:29 +0100

gringo (4.2.1-4) unstable; urgency=low

  * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix
    FTBFS", thanks to Logan Rosen (Closes: #735005).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 12 Jan 2014 19:22:44 +0100

gringo (4.2.1-3) unstable; urgency=low

  * debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with
    upstream.
    Remove spurious Build-Depends on libboost-filesystem-dev and
    libboost-system-dev.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 18 Dec 2013 09:42:59 +0100

gringo (4.2.1-2) unstable; urgency=low

  * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now
    g++-4.8 >= 4.8.0.
  * debian/rules: Set CXX to g++-4.8.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 17 Dec 2013 07:07:54 +0100

gringo (4.2.1-1) unstable; urgency=low

  gringo 4.2 adds support for {i,o,}clingo again.

  * New upstream release.
  * debian/watch: Back to watching all releases of gringo.
  * debian/rules: Add scons, python, tbb, and hardening support.
  * debian/install: Install gringo and clingo.
  * debian/gringo.links: Symlink clingo binary and manpage to {i,o}clingo.
  * debian/gringo.manpages: Remove iclingo manpage.
  * debian/control: Build-Depends on bison, scons, g++ >= 4.8.0,
    libpython2.7-dev, libtbb-dev.
    Bump Standards-Version to 3.9.5.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 16 Dec 2013 16:28:42 +0100

gringo (3.0.5-1) unstable; urgency=low

  * New upstream release.
  * debian/copyright: Update copyright years.
  * debian/compat: Bump to version 9.
  * debian/control:
    - Remove DM-Upload-Allowed.
    - Build-Depends on debhelper >= 9.
  * debian/watch: Only watch upstream gringo >= 3.
  * debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch
    debian/patches/gringo-domain-fwd-decl.patch
    debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove
    already applied patches.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 21 May 2013 19:04:24 +0200

gringo (3.0.4-4) unstable; urgency=low

  * Apply upstream patches from subversion r6200 and r6237 for fixing
    potassco bugs 75 and 76, resp.
  * debian/patches/gringo-cond.patch: New file originally from
    http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw.
  * debian/patches/gringo-unpool-pred.patch: New file originally from
    http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw.
  * debian/control: Bump Standards-Version to 3.9.4.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 22 Nov 2012 10:40:56 +0100

gringo (3.0.4-3) unstable; urgency=low

  * Bug fix: "please build-depend on unversionend boost libraries", thanks
    to Ralf Treinen (Closes: #672933).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 23 May 2012 15:25:09 +0200

gringo (3.0.4-2) unstable; urgency=low

  * debian/patches/gringo-clang-gcc.patch: New file originally from
    https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff.
  * Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes:
    #667193).
  * debian/control: Bump Standards-Version to 3.9.3.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 10 Apr 2012 16:48:52 +0200

gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low

  * Upload to ppa:~tkren/asp.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 27 Jan 2012 08:08:04 +0100

gringo (3.0.4-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 26 Jan 2012 14:59:59 +0100

gringo (3.0.3-7) unstable; urgency=low

  * debian/copyright: Fix comma-separated-files-in-dep5-copyright,
    obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri
    lintian warnings.
  * Bug fix: "FTBFS: clone_allocator.hpp:34:27: error: invalid use of
    incomplete type <struct Domain>", thanks to Lucas Nussbaum
    (Closes: #652787).
  * debian/patches/gringo-domain-fwd-decl.patch: New file.
  * debian/control: Build-Depends on re2c to recreate parser.cpp from
    parser.r2c, add boost version libboost-*N.MM-dev.
  * debian/rules: Add override_dh_auto_configure and remove parser.cpp and
    converter.cpp to force recreation of re2c lexer files.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 25 Dec 2011 18:44:20 +0100

gringo (3.0.3-6) unstable; urgency=low

  * debian/control: Setup as Debian Science project.
    - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas
      Krennwallner.
    - Set DM-Upload-Allowed to yes.
    - Convert bzr repository to git and use Vcs-Git and Vcs-Browser
      accordingly.
    - Build-Depends on debhelper >= 8.0.0.
  * debian/rules: Add override_dh_auto_build to get rid off
    debian/patches/gringo-makefile.patch.
  * debian/patches/gringo-makefile.patch debian/patches/series: Remove
    debian/patches/gringo-makefile.patch.
    
 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 05 Sep 2011 13:21:51 +0200

gringo (3.0.3-5~natty1) natty; urgency=low

  * debian/watch: Fix lintian debian-watch-contains-dh_make-template.
  * debian/control: Lower Priority to extra and bump Standards-Version to
    3.9.2.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 29 Apr 2011 07:11:12 +0200

gringo (3.0.3-4) unstable; urgency=low

  * debian/control: Combine gringo, clingo, and iclingo binary packages
    into gringo.
   + Conflicts and Replaces clingo and iclingo.
  * debian/copyright: Convert to DEP-5 format and add missing licenses.
  * debian/rules: Add override_dh_installchangelogs for CHANGES file.
  * debian/install: Install gringo, clingo and iclingo.
  * Refresh debian/patches/gringo-makefile.patch; do not install anything
    here.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 22 Feb 2011 09:38:26 +0100

gringo (3.0.3-3) unstable; urgency=low

  * Initial upload (Closes: #605879)

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 05 Dec 2010 18:01:28 +0100

gringo (3.0.3-2) unstable; urgency=low

  * Upload to mentors.debian.net.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 20 Nov 2010 09:43:35 +0100

gringo (3.0.3-1~maverick1) maverick; urgency=low

  * New upstream release.
  
  * Fix changelog entries.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 12 Nov 2010 05:53:36 +0100

gringo (3.0.2-2~maverick1) maverick; urgency=low

  * Tag distro-series.

  * Fix Standards-Version and Priority.
  
  * Suggest potassco-guide.

  * Fix missing changelog.
  
  * Add additional authors to copyright.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 10 Oct 2010 08:50:01 +0200

gringo (3.0.2-1) lucid; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 04 Oct 2010 22:03:12 +0200

gringo (3.0.1-2) lucid; urgency=low

  * Build with system-wide liblua5.1-dev.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 28 Jul 2010 06:15:10 +0200

gringo (3.0.1-1) lucid; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 27 Jul 2010 06:00:34 +0200

gringo (2.0.5-6) lucid; urgency=low

  * Switch to dpkg-source 3.0 (quilt) format.
  
  * Fix lintian warning debhelper-but-no-misc-depends: add ${misc:Depends} to potassco-guide.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 06 Jun 2010 18:18:22 +0200

gringo (2.0.5-5) lucid; urgency=low

  * Added watch file.

  * Added Vcs-Bzr to control.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 01 Jun 2010 14:47:13 +0200

gringo (2.0.5-4) lucid; urgency=low

  * Set Architecture of all binary packages to "any".

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 28 May 2010 09:21:58 +0200

gringo (2.0.5-3) lucid; urgency=low

  * Set Architecture of all binary packages to "all".

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 28 May 2010 07:04:46 +0200

gringo (2.0.5-2) lucid; urgency=low

  * Moved to Ubuntu PPA.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 26 May 2010 00:33:32 +0200

gringo (2.0.5-1) unstable; urgency=low

  * Initial release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 04 Mar 2010 19:47:14 +0100
