Accepted gringo 5.8.0-1 (source) into unstable

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

Format: 1.8
Date: Sun, 12 Oct 2025 11:18:58 +0200
Source: gringo
Architecture: source
Version: 5.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1112978
Changes:
 gringo (5.8.0-1) unstable; urgency=medium
 .
   * Team upload
   * New upstream release. Closes: 1112978.
   * Refresh patches:
     - gringo-python3-utf8.patch
     - link-libatomic-check.patch
     - use-system-catch-for-glibc-2.34-compat.patch
   * Drop patches that have been resolved upstream:
     - testsuite-python-open-rU.patch
     - gcc13.diff
Checksums-Sha1:
 edd932d76a7c122de8f056c0283ce663738bfbd3 2012 gringo_5.8.0-1.dsc
 2dac2c09f81397e7182bb21915f6417cb4cbf2f3 4496694 gringo_5.8.0.orig.tar.gz
 f9d64f793b7efb2fa2383608f181f50ed5684479 24284 gringo_5.8.0-1.debian.tar.xz
 89ff6238e0a5c9e0192919dcbd012db7d45f7394 7370 gringo_5.8.0-1_source.buildinfo
Checksums-Sha256:
 0bea5aa3fda1823be892610a7535b3ff9448f2f606de49545d20b8a76b5d81c4 2012 gringo_5.8.0-1.dsc
 4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c 4496694 gringo_5.8.0.orig.tar.gz
 e74d3e73e20a8148e3367ebf13857eb75d6efc38433f9fb4f5ed3803d7c08b85 24284 gringo_5.8.0-1.debian.tar.xz
 e4644e893f49f9430cc429f539f73bfb3327348757388d0d87a91c339921d6ce 7370 gringo_5.8.0-1_source.buildinfo
Files:
 7afdbc8429cf6c4b20d076bf45ecbb20 2012 interpreters optional gringo_5.8.0-1.dsc
 4e477b392bab01cd1ffb3bd63aa9779d 4496694 interpreters optional gringo_5.8.0.orig.tar.gz
 d25aa7ad09fca5b3020a1000a26865ae 24284 interpreters optional gringo_5.8.0-1.debian.tar.xz
 87a00c4f2bf3d5108f2527cf08de48fa 7370 interpreters optional gringo_5.8.0-1_source.buildinfo

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

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmjrdrAACgkQdFxHZtTK
zf9AwRAAoxxICgFz/dsTbt7PDnHc+LBQMNckDPzge1l8WAWZOhKq6whTzTKuugMh
uFudUcO2fla7UpK+LUAZ2Drt2+zNVyf4O352kDTEGieKyHnMgB9UYf4OV2RIn5Mx
z0UAoqm6eEmp2BEyj6KVxv3NXolNBNmN3bYs4fIXEttG8PfjRxb7xXdkxEDqd3U4
0mwZuD42LqtKhpPoOebMKaVYpzDdIt54IsZyEzZfxFh3wnDaYDvhmoEfXI2uEhif
TC9RonzR5B1Fcvew2v/I833o/d7w8MINvQEX3fTG7fZT7gpLo6iKwabEtjG2By+T
yAUG8RkpxkCGE58UNpUhXTqgNc05SLYu/JHnFybTg3G4DTxepdM512TkEnK/f7VJ
FkQVUrq1TZybI5pzRg77Vste1y5rfWEfJ21EDtZ1whWoRiWiE0YdsJ1Ffr95Rrn6
Th9EmggJ7Qdj+qMvRE4j+rI0R1pB5cSQwfMU1ElcVCg75L8TQ0anYU2rjJIZNmne
az6Q3D/vwDd64IJv3C2eGg5fWgEZFrupDs3dCXXxLh8co6mRkrbIkO1G7z+lTmvk
XnotrrX/cnlJrKAaZYiNXaZawJMOI3WKeizEol7StGBiF2axLMRen8GirbxpG7DK
YXS0glead6ICnCGnrJGZ/9aJ339e89YqnjmL7KuFeE/bvfljLBk=
=kEp6
-----END PGP SIGNATURE-----