Merge version 5.4.1-3+rpi1 and 5.4.1-3.1 to produce 5.4.1-3.1+rpi1

Merge gringo (5.4.1-3.1) import into refs/heads/workingbranch

Fix the testsuite for Python no longer supporting 'rU' in open()

Gbp-Pq: Name testsuite-python-open-rU.patch

Fix 'catch' & 'catch2' compatibility with glibc-2.34

Origin: vendor, Ubuntu
Bug: https://github.com/potassco/libpotassco/issues/12 (only catch1 part)
Last-Update: 2022-01-18

The gringo package contains several embedded copies of the 'catch' (CTest)
library. All of those copies are outdated and incompatible with glibc-2.34.
This patch updates the test sources to use the system provided versions of
'catch' and 'catch2' instead, to fix this issue.
C.f.: https://github.com/catchorg/Catch2/issues/2178
Last-Update: 2022-01-18
Gbp-Pq: Name use-system-catch-for-glibc-2.34-compat.patch

bump CLINGO_VERSION to 5.4.1

Last-Update: 2020-12-27
Forwarded: no

upstream forgot to bump revision+1

Gbp-Pq: Name bump-version-5.4.1.patch

link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

clingo requires c++11 threads with 64bit __atomic_exchange, we need to
link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel,
and sh4, see also https://gcc.gnu.org/wiki/Atomic and
https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary

This patch was shamelessly adapted from
https://github.com/potassco/clasp/blob/master/CMakeLists.txt
https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be

Gbp-Pq: Name link-libatomic-check.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

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)

[dgit import unpatched gringo 5.4.1-3.1]

Import gringo_5.4.1-3.1.debian.tar.xz

[dgit import tarball gringo 5.4.1-3.1 gringo_5.4.1-3.1.debian.tar.xz]

Merge version 5.4.0-2+rpi1 and 5.4.1-3 to produce 5.4.1-3+rpi1

Merge gringo (5.4.1-3) import into refs/heads/workingbranch

bump CLINGO_VERSION to 5.4.1

Last-Update: 2020-12-27
Forwarded: no

upstream forgot to bump revision+1

Gbp-Pq: Name bump-version-5.4.1.patch

link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

clingo requires c++11 threads with 64bit __atomic_exchange, we need to
link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel,
and sh4, see also https://gcc.gnu.org/wiki/Atomic and
https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary

This patch was shamelessly adapted from
https://github.com/potassco/clasp/blob/master/CMakeLists.txt
https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be

Gbp-Pq: Name link-libatomic-check.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

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).

[dgit import unpatched gringo 5.4.1-3]

Import gringo_5.4.1-3.debian.tar.xz

[dgit import tarball gringo 5.4.1-3 gringo_5.4.1-3.debian.tar.xz]

Import gringo_5.4.1.orig.tar.gz

[dgit import orig gringo_5.4.1.orig.tar.gz]

Merge version 5.3.0-13+rpi1 and 5.4.0-2 to produce 5.4.0-2+rpi1

Merge gringo (5.4.0-2) import into refs/heads/workingbranch

link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

clingo requires c++11 threads with 64bit __atomic_exchange, we need to
link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel,
and sh4, see also https://gcc.gnu.org/wiki/Atomic and
https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary

This patch was shamelessly adapted from
https://github.com/potassco/clasp/blob/master/CMakeLists.txt
https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be

Gbp-Pq: Name link-libatomic-check.patch

fix compatibility with Python 3.8

Last-Update: 2020-02-20
Forwarded: no
Bug-Debian: https://bugs.debian.org/951707

Python 3.8 changes the type of an element of the PyTypeObject struct
(https://www.python.org/dev/peps/pep-0590/) leading to compiler errors.

Gbp-Pq: Name python3.8-compat.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.4.0-2) unstable; urgency=medium

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

[dgit import unpatched gringo 5.4.0-2]

Import gringo_5.4.0-2.debian.tar.xz

[dgit import tarball gringo 5.4.0-2 gringo_5.4.0-2.debian.tar.xz]

Import gringo_5.4.0.orig.tar.gz

[dgit import orig gringo_5.4.0.orig.tar.gz]

Manual merge of version 5.3.0-10+rpi1 and 5.3.0-13 to produce 5.3.0-13+rpi1

Drop libatomic change, keep symbols change.

Merge gringo (5.3.0-13) import into refs/heads/workingbranch

link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

clingo requires c++11 threads with 64bit __atomic_exchange, we need to
link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel,
and sh4, see also https://gcc.gnu.org/wiki/Atomic and
https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary

This patch was shamelessly adapted from
https://github.com/potassco/clasp/blob/master/CMakeLists.txt
https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be

Gbp-Pq: Name link-libatomic-check.patch

fix compatibility with Python 3.8

Last-Update: 2020-02-20
Forwarded: no
Bug-Debian: https://bugs.debian.org/951707

Python 3.8 changes the type of an element of the PyTypeObject struct
(https://www.python.org/dev/peps/pep-0590/) leading to compiler errors.

Gbp-Pq: Name python3.8-compat.patch

rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

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

[dgit import unpatched gringo 5.3.0-13]

Import gringo_5.3.0-13.debian.tar.xz

[dgit import tarball gringo 5.3.0-13 gringo_5.3.0-13.debian.tar.xz]

Merge gringo (5.3.0-10+rpi1) import into refs/heads/workingbranch

rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.3.0-10+rpi1) buster-staging; urgency=medium

  * Use libatomic on armhf too.
  * Update symbols for raspbian.

[dgit import unpatched gringo 5.3.0-10+rpi1]

Import gringo_5.3.0-10+rpi1.debian.tar.xz

[dgit import tarball gringo 5.3.0-10+rpi1 gringo_5.3.0-10+rpi1.debian.tar.xz]

Merge gringo (5.3.0-10) import into refs/heads/workingbranch

rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

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

[dgit import unpatched gringo 5.3.0-10]

Import gringo_5.3.0-10.debian.tar.xz

[dgit import tarball gringo 5.3.0-10 gringo_5.3.0-10.debian.tar.xz]

Import gringo_5.3.0.orig.tar.gz

[dgit import orig gringo_5.3.0.orig.tar.gz]

Merge gringo (5.1.0-4) import into refs/heads/workingbranch

alpha FTBFS: _FPU_GETCW is undefined

Forwarded: https://github.com/potassco/clasp/pull/3

===================================================================

Gbp-Pq: Name gringo-alpha-fpu-getcw.patch

add support for architectures with broken std::exception_ptr std::exception_ptr is currently not supported on armel, see libstdc++ bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58938

Forwarded: not-needed

===================================================================

Gbp-Pq: Name gringo-broken-std-exception_ptr.patch

bugfix: correctly mark body literals as auxiliary in all cases

Origin: upstream, https://github.com/potassco/clingo/commit/d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
Bug: https://sourceforge.net/p/potassco/mailman/message/35493632/

Gbp-Pq: Name gringo-fix-body-literals-as-auxiliary.patch

Sort source files for deterministic linking order

Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096;msg=5
Bug-Debian: https://bugs.debian.org/844096

===================================================================

Gbp-Pq: Name reproducible-build.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.1.0-4) unstable; urgency=medium

  * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
    _FPU_GETCW and friends are undefined on this arch

[dgit import unpatched gringo 5.1.0-4]

Import gringo_5.1.0-4.debian.tar.xz

[dgit import tarball gringo 5.1.0-4 gringo_5.1.0-4.debian.tar.xz]

Import gringo_5.1.0.orig.tar.gz

[dgit import orig gringo_5.1.0.orig.tar.gz]

Add gringo.1, clingo.1, and iclingo.1 manpages.

===================================================================

Gbp-Pq: Name gringo-manpages.patch

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.

[dgit import unpatched gringo 4.4.0-1]

Import gringo_4.4.0.orig.tar.gz

[dgit import orig gringo_4.4.0.orig.tar.gz]

Import gringo_4.4.0-1.debian.tar.xz

[dgit import tarball gringo 4.4.0-1 gringo_4.4.0-1.debian.tar.xz]