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]