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]