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]

Import gringo_5.4.1.orig.tar.gz

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