gringo (5.6.2-2) unstable; urgency=medium

  * Team upload
  * Acknowledge NMU, thanks Adrian!
  * Build without Python support, does not appear to be used anywhere
  * Drop patches reduce-thread-count.patch and
    skip-test_clingo_app.patch, no longer needed
  * Do not run gringo6 and gringo7 Python autopkgtests

 -- Graham Inggs <ginggs@debian.org>  Tue, 25 Jun 2024 11:40:12 +0000

gringo (5.6.2-1) unstable; urgency=medium

  * Team upload.

  [ Andreas Tille ]
  * New upstream version
  * Standards-Version: 4.6.2 (routine-update)
  * Reorder sequence of d/control fields by cme (routine-update)
  * Add ${python3:Depends}
  * Remove Python3 cache dir
  * Provide symbols file fo amd64 only (to prevent regression for
    #963054 and other potential issues)
  * Depends: python3
  * Fix versioned links to match SONAME
  * Build-Depends: dh-sequence-python3
  * Deactivate autopkgtests gringo1 and gringo4

  [ Matthias Klose ]
  * Fix build with Python 3.12. Closes: #1061316.
  * Fix build with new catch2 version. Closes: #1054688.
  * Fix build with GCC 13.
  * Explicitly mention the build system.

  [ Graham Inggs ]
  * Add (Build-)Depends: python3-cffi.
  * Reduce thread count for test_clingo_app.
  * Skip hanging test_clingo_app for now.

 -- Andreas Tille <tille@debian.org>  Mon, 12 Feb 2024 09:02:55 +0100

gringo (5.4.1-3.1) unstable; urgency=low

  * Non-maintainer upload.
  * Build using the default gcc. (Closes: #1023682)
  * Add patch from Lukas Märdian to use the system catch/catch2.
    (Closes: #1017161)
  * Fix the testsuite for Python no longer supporting 'rU' in open().
  * Remove the symbols file. (Closes: #963054, #1015422)

 -- Adrian Bunk <bunk@debian.org>  Sat, 19 Nov 2022 12:33:48 +0200

gringo (5.4.1-3) unstable; urgency=medium

  * debian/symbols: fix symbols for g++-10 >= 10.2.1
  * Bug fix: "non-standard gcc/g++ used for build (gcc-9)", thanks to
    Matthias Klose (Closes: #978514).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 28 Dec 2020 12:50:01 +0000

gringo (5.4.1-2) unstable; urgency=medium

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

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 27 Dec 2020 17:29:03 +0000

gringo (5.4.1-1) experimental; urgency=medium

  * New upstream version 5.4.1
  * debian/patch: add bump-version-5.4.1.patch
  * drop python3.8-compat.patch, already applied upstream
  * compile with g++-10
  * debian/symbols: fix symbols for g++-10 >= 10.2.1
  * debian/control: set debhelper-compat version to 13
  * debian/control: bump Standards-Version to 4.5.1
  * debian/control: build with system-wide liblua5.4-dev

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 27 Dec 2020 14:55:45 +0000

gringo (5.4.0-2) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for missing architectures

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 03 Apr 2020 06:56:49 -0400

gringo (5.4.0-1) experimental; urgency=medium

  * New upstream version 5.4.0
  * install libclingo.so.3.0 instead of libclingo.so.2.0
  * generate symbols for libclingo.so.3
  * refresh gringo-python3-utf8.patch, python3.8-compat.patch, and
    link-libatomic-check.patch
  * drop gringo-python37-async.patch, already applied upstream
  * add highlight.js 9.12.0 to missing-sources

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 30 Mar 2020 06:25:20 -0400

gringo (5.3.0-13) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for g++-9 >= 9.2.0 on armel and powerpc

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 11 Mar 2020 20:57:01 -0400

gringo (5.3.0-12) experimental; urgency=medium

  * debian/symbols: fix symbols for g++-9 >= 9.2.0
  * debian/{rules,install}: drop libatomic hacks, stop confusing build
    target with build directory
  * debian/patches: refresh python3.8-compat and gringo-python37-async
  * link-libatomic-check.patch: add libatomic checks to CMakeLists.txt

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 11 Mar 2020 07:31:40 -0400

gringo (5.3.0-11) experimental; urgency=medium

  * add support for python3.8, thanks to Steve Langasek
  * compile with gcc-9 and g++-9
  * debian/control: bump Standards-Version to 4.5.0 (no changes required)
  * renamed debian/{NEWS,TODO}.Debian to debian/{NEWS,TODO}
    Lintian tag incorrect-packaging-filename
  * setup debhelper-compat 12.
    Lintian tag package-uses-old-debhelper-compat-version
  * debian/control: set Rules-Requires-Root to no
  * debian/symbols: fix symbols for g++-9 >= 9.2.0
  * Bug fix: "gringo needs a new upstream, and fixes for python3.8",
    thanks to Matthias Klose (Closes: #951842).
  * Bug fix: "gringo ftbfs with Python 3.8", thanks to Matthias Klose
    (Closes: #951707).
  * Bug fix: "non-standard gcc/g++ used for build (gcc-8)", thanks to
    Matthias Klose (Closes: #944178).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 09 Mar 2020 13:31:25 +0100

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog gringo`.
