gringo (5.4.0-0ubuntu1) focal; urgency=medium

  * New upstream version.
  * Build using python3 instead of python3.7.
  * Use unversioned python3 build dependencies

 -- Matthias Klose <doko@ubuntu.com>  Fri, 21 Feb 2020 20:27:55 +0100

gringo (5.3.0-10build1) focal; urgency=medium

  * No-change rebuild to drop python3.7.

 -- Matthias Klose <doko@ubuntu.com>  Tue, 18 Feb 2020 10:19:42 +0100

gringo (5.3.0-10) unstable; urgency=medium

  * Fix FTBFS on buster.
  * debian/control: add Build-Depends on g++-8 >= 8.2.0-21
  * debian/symbols: add alpha and x32 symbols

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 02 Mar 2019 08:49:10 +0100

gringo (5.3.0-9) unstable; urgency=medium

  * Upload to unstable.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 01 Mar 2019 06:27:37 +0100

gringo (5.3.0-8) experimental; urgency=medium

  * debian/symbols: fix symbols

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 28 Feb 2019 05:25:47 +0100

gringo (5.3.0-7) experimental; urgency=medium

  * Bug fix: "new symbols", thanks to Sjoerd Simons (Closes: #923228).
  * debian/control: bump Standards-Version to 4.3.0
  * debian/symbols: fix FTBFS on powerpcspe

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 27 Feb 2019 05:24:41 +0100

gringo (5.3.0-6) unstable; urgency=medium

  * debian/symbols: fix symbols for g++-8 >= 8.2.0-10
  * Upload to unstable.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 14 Dec 2018 08:09:08 +0100

gringo (5.3.0-5) experimental; urgency=medium

  * Bug fix: "gringo FTBFS: symbol differences", thanks to Adrian Bunk
    (Closes: #916266).
  * debian/symbols: fix FTBFS for g++-8 >= 8.2.0-10
  * debian/control: Build-Depends on g++-8 >= 8.2.0-10

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 13 Dec 2018 08:22:24 +0100

gringo (5.3.0-4) unstable; urgency=medium

  * debian/tests/gringo{0,1,3,4}: fix integer atom mappings
  * NEWS.Debian: fix link to aspif description

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 22 Nov 2018 07:26:25 +0100

gringo (5.3.0-3) unstable; urgency=medium

  * debian/upstream/metadata: add DEP-12 upstream metadata
  * debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2
  * Upload to unstable.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 21 Nov 2018 04:54:38 +0100

# For older changelog entries, run 'apt-get changelog gringo'
