Accepted gringo 5.4.1-3 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 28 Dec 2020 12:50:01 +0000
Source: gringo
Architecture: source
Version: 5.4.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Closes: 978514
Changes:
 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).
Checksums-Sha1:
 504749c55d83981159d02526adc0793579bd2859 2128 gringo_5.4.1-3.dsc
 b3cb1d5e88da599583df6f453a2ea94708cd231c 23188 gringo_5.4.1-3.debian.tar.xz
 8c0f8c37dbd77c11de2ab49321fa920e8c75bd29 8224 gringo_5.4.1-3_amd64.buildinfo
Checksums-Sha256:
 7b5b4eea19e17441ebe9683fa03dc65d50f8a4dbb4c883d54cd4e153fdce87af 2128 gringo_5.4.1-3.dsc
 ac6de74b51b4275a7b9b0ddb4d1b9c510d5bb1da609f887fdf6187007e948e62 23188 gringo_5.4.1-3.debian.tar.xz
 52d01ee562ae9cfdb23362b04c9ab3700532aeb01ded84089ca054299e8e0d11 8224 gringo_5.4.1-3_amd64.buildinfo
Files:
 96da9a924ce14ae2e3ece5be5ca52f99 2128 interpreters optional gringo_5.4.1-3.dsc
 40ec74909fcc1d3045989d95de3899e0 23188 interpreters optional gringo_5.4.1-3.debian.tar.xz
 162cf2633c0e7c491348fe00cab460d7 8224 interpreters optional gringo_5.4.1-3_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl/p3kQACgkQJ5ffdKZm
mqlD9RAAlnGcEyT2R/zfm6t837N7me/cd1PTr4R//g4XyoSBj155wZOnLMkM91jn
nYoab4LKrHcxQxw5ojFmzlGGx064LEj/WEhcPFtyauctj+QXajwKOCe/Ro0te8J+
GLDXFh6sL4GaNyPtfJcCEdJZgMoiw2wlc0OqdLvWf3Oyx3g2KpguZYxtXgIbIl7V
i2jKzvu0rSCx+HSG8RrMjWTUpC0GluVw8Tdt1yaPbkmnNikNmlhbTguh6yDJJ6NW
mJlunBmMbrwQJxB+hYtSNhYu+4NrB25MNgQboDcchjeHG/NxfZbG/DvYZjMlSvOc
IS9stdtO9Ma3lyqfKVantYWWY46bjDAUSYd+DuD+fBANIvUIH7RLDauAib8IHIIO
vpoehRF/1j3iCB/jEHoOaMUmQSyiFmvO9EZ1JDX0pxASukg9MGSyLSVonAWndnp3
QAgXnZ6s/UsrdOmiHljQCR5u093AqaaAFeV8kvis45FS3ab9h390AcrKexbGJuvJ
nhfN63zsnvIFawh/1UIMwLhZVgvVsiQQtqnNzij2m/M00+OwNsgVJ6BPGJUZevwL
HPccmVqgpXhyqyPzaWnwcGe8mJKMlRCImQrX/whIA/MgLeFcybMT0WfZQUARJIf1
eN7/eN26fQqgkOh50IiaUqAh9/wIdIsalLQuY103QQh2qqKEGm4=
=ca2i
-----END PGP SIGNATURE-----