gringo_5.4.1-1_amd64.changes ACCEPTED into experimental

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 27 Dec 2020 14:55:45 +0000
Source: gringo
Architecture: source
Version: 5.4.1-1
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Changes:
 gringo (5.4.1-1) experimental; urgency=medium
 .
   * New upstream version 5.4.1
   * debian/patch: add bump-version-5.4.1.patch
   * drop python3.8-compat.patch, already applied upstream
   * compile with g++-10
   * debian/symbols: fix symbols for g++-10 >= 10.2.1
   * debian/control: set debhelper-compat version to 13
   * debian/control: bump Standards-Version to 4.5.1
   * debian/control: build with system-wide liblua5.4-dev
Checksums-Sha1:
 044fde1cb493d8fc62921df059e710ac64e4ccfa 2128 gringo_5.4.1-1.dsc
 d7dde8764a13eeea07338f3399b36c12badd4de4 2822845 gringo_5.4.1.orig.tar.gz
 a8d78da451519e5334c72ce97caf960f1ab2b157 23096 gringo_5.4.1-1.debian.tar.xz
 6842b7346aa268e14c2e798a55b6bb92f7bc9bc0 8224 gringo_5.4.1-1_amd64.buildinfo
Checksums-Sha256:
 231174a87321a992f97320aaa2d172d6044dce5c51c84d2f5a76fd8a93544c4f 2128 gringo_5.4.1-1.dsc
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 60dba68063bd4113781d4b96ac58fed721a6dd50bad1114be233db8830227303 23096 gringo_5.4.1-1.debian.tar.xz
 6dca804f85f5a60802931b9b8b773954ae263ec36accdde3fb855fd3a26687ff 8224 gringo_5.4.1-1_amd64.buildinfo
Files:
 131ae0a54fe68d322bf748ba57ffcd03 2128 interpreters optional gringo_5.4.1-1.dsc
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 interpreters optional gringo_5.4.1.orig.tar.gz
 05fb6569355d9131170817471a177ebc 23096 interpreters optional gringo_5.4.1-1.debian.tar.xz
 647e1736cb784c1af41b0f9700a0ecd5 8224 interpreters optional gringo_5.4.1-1_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl/opX0ACgkQJ5ffdKZm
mqni6Q//dYWy7hRZHyWN3Dzk8TRbuW1FOJk5y61yZ9KEdABZsKLzYVhXXMYGy/6C
bIWd+3XjPxBFE2Pfisgtp7uzDPNa0NJoQ5K3mHydK7GGwX3mOrinp5iQ/Cwl2Oy5
UIgeQr3ZGIIVGRIP4InzT3xdC8m2QdMmjVCd/YngXFQ5oXaBH7IEAtWPM1gnjLqS
Vl6goy5O2JndT1Mrpk8zIfP5qoxsaJdRd1dGLqxtVnPzfzBFEl0zr0er5eR53Gt8
l99bNDS+DWXi2jJx5mDJHJOCI/hqocK2KT4f4oJ49ew14ApJc4SaGBoYatUwDc+N
0Wn21j02HkAAI9FNZQZxwAD1QfymHmOC5PfljCQUXUnqgLh8rp3Yo4Rd9TgjLJHf
ivmug3PZuH4hzEFyBrrQHUaFQS7xUFy3Mat2txJM+ovdRz8kyoH+yGYQVdpvzxhV
EW4aOXtFg/T2HBcP3+TtmG6wcIt+yyaSmUtoQkwdEdd4wFm+ddiIbqGjxdx73ObS
Ism8y5wFurEH5NomGkJQrmn1nf6mjcaHocUHYVPy+JXH3f7iqQ1+9USRUt7I4tTA
2CFttYzTfTGh52kx23r2rCuAqduIYXGTRP+REsj4wkhh8X//PlWIuqkfXTfcgFiA
5pSqQGfuDC6ZwXZyITdTsSLHNb4Hpi1FEQGWpg6gJ8OUNy6SXFA=
=9s9x
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.