Accepted gringo 5.4.1-3.1 (source) into unstable

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

Format: 1.8
Date: Sat, 19 Nov 2022 12:33:48 +0200
Source: gringo
Architecture: source
Version: 5.4.1-3.1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
Closes: 963054 1015422 1017161 1023682
Changes:
 gringo (5.4.1-3.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Build using the default gcc. (Closes: #1023682)
   * Add patch from Lukas Märdian to use the system catch/catch2.
     (Closes: #1017161)
   * Fix the testsuite for Python no longer supporting 'rU' in open().
   * Remove the symbols file. (Closes: #963054, #1015422)
Checksums-Sha1:
 49406d3c1ad4265de14d9c97297d8b5b8dc9da6d 2131 gringo_5.4.1-3.1.dsc
 798850eb7f4ef4045682c6ba7fb6dbb88b0677f1 21592 gringo_5.4.1-3.1.debian.tar.xz
Checksums-Sha256:
 0597322ea1414ee31e101d7b1a9617166519991a7ab11a06a34855ab77895a84 2131 gringo_5.4.1-3.1.dsc
 3b40f14945cd7d7e614200da06c501372680c7b555032c6fe601f654f50d23e9 21592 gringo_5.4.1-3.1.debian.tar.xz
Files:
 6d1a4dc6648aef0403a13bff094b2e90 2131 interpreters optional gringo_5.4.1-3.1.dsc
 28fbdde6e24ae0e1e9b7e9d7d67af433 21592 interpreters optional gringo_5.4.1-3.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmN4ut4ACgkQiNJCh6LY
mLHlCxAAxYXfT9ia66Jr1oKkZ7vwJhOAWSdrWGAz8HLRt27qUR5f3EjYss3SKBUz
5+nEPTBrDaGwpTDqEDSz5nU+yeMhg3cFwSVRM6HNgz94wUYeVxwoG6BOU7hAbIud
mklYoF+sRT59ljMtidjnV4lho7NbMSMnLM/6vjKfbV2AvFmx4I/LxutP23uDfgF5
/FQS0j3zSYwY0JoKFLSPphIbcs3qLAqMxplCy/2xGvVWB4ED+hvbBuEbMz8qsMQT
SViMlMeJNoNY2NXot/x7yx7vA0ByZzspDCrMqVlV175NQamsQtJP6sL1hd3wcxOq
q1y25wgS6jzs502IpOTKvFwUqZ5VkooKVTuPpTGka60j94RLApDkCGcCrmNoEVsi
UkVC5to4OPSrJEePFCetUnmmVAXHyUJuunyEjOm6fZ5Htpmu49K1OThneJTMhMrn
2WSlvMLZC40gByGQpiaC5x0auiW9nO4lIq8HIk7ZWrPlS3ObeHmlhYPDp2SSJxaH
bmDEJwxrANUK2VeRs6Y752bPvN7tHL8PjyK7Qfdj1JcDyrq31TRSmjDL2G3QiYI1
Ni5dC5O4kJWZNI1ujO6ul7MO1XKKOxJW1WdRplQ5kLRrsTrTr4eYU4ne/AFwSPlT
Lgl76yXLK/M7O1A9KPXIOcme/sgxIDMijku8NI0i7dKvcIQhw+E=
=A1MU
-----END PGP SIGNATURE-----