gringo_5.4.0-1_amd64.changes ACCEPTED into experimental

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Mon, 30 Mar 2020 06:25:20 -0400
Source: gringo
Architecture: source
Version: 5.4.0-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.0-1) experimental; urgency=medium
 .
   * New upstream version 5.4.0
   * install libclingo.so.3.0 instead of libclingo.so.2.0
   * generate symbols for libclingo.so.3
   * refresh gringo-python3-utf8.patch, python3.8-compat.patch, and
     link-libatomic-check.patch
   * drop gringo-python37-async.patch, already applied upstream
   * add highlight.js 9.12.0 to missing-sources
Checksums-Sha1:
 c602788f383d6fad816490af942bcd3267e47fa7 2145 gringo_5.4.0-1.dsc
 69e1a999b96ae399b5354909ec3e90cdd06c7f4c 2822810 gringo_5.4.0.orig.tar.gz
 1624d57081699ea8e8737d4038f26ed24d25bd35 22592 gringo_5.4.0-1.debian.tar.xz
 678f0220b9a9872c07553d55b0a17fcb38132628 8274 gringo_5.4.0-1_amd64.buildinfo
Checksums-Sha256:
 44da035feffc0a67b2fe92a6af3ed0d801d1bc829a486db83f3dcf7618120411 2145 gringo_5.4.0-1.dsc
 e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3 2822810 gringo_5.4.0.orig.tar.gz
 4bf80246dfc866b75dc1c7572d29e2979cff033c759fad780cd1d7135263ce23 22592 gringo_5.4.0-1.debian.tar.xz
 ba51823228ca78e35fb450b1c1a4ef78ca5b6f224f5eecb1dc7703e9b0737328 8274 gringo_5.4.0-1_amd64.buildinfo
Files:
 4518838cad47e607374afa67567dd7f5 2145 interpreters optional gringo_5.4.0-1.dsc
 242bddbfc7bb136e5b73893bff9fd7d5 2822810 interpreters optional gringo_5.4.0.orig.tar.gz
 86d4b60032326e6ecb960d0014805f37 22592 interpreters optional gringo_5.4.0-1.debian.tar.xz
 b94c8550ed64fd7b77360800d3627133 8274 interpreters optional gringo_5.4.0-1_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl6B5BAACgkQJ5ffdKZm
mqkv6xAAkikviX6omXW7yqqi1/phvT2oS+Z9AonFkyiEaUoCGlyBGiHFFlrY9qps
f7K7GPjGtDsOoeqfCd4zwCfK2YRqX8GH2KmwWkX4WA0skTW7k353R7Pqw+20cBlb
lFvRnuTXDOQUCOXFIf//QWh5KTGMY5XEBZ/wfEj+n99jyx1yXuYHUbG9k3N3QaSt
Y9MVjPFviIyhd7tetwIZ6++BrfXnyCNraAXHcuggJmaL6riJil16Di3uOf6bqG8v
TmJ4Ao3VOMDjwX3xVtoa5EwGBMN7vMnMcbcdu8OCV++u8ct3XMIY6CaAcCAcgkIh
riho/kPeJl/RfO1q7pjeacHJOxgmZUvcNO8Scf+rFs2GOyEDSOCYkbx6bGACtq8g
2dcQlIpTVXzbHRlEI0DS6IYDUR40SvYVizshdhxn32QlvqHhVR3b72FzBVObo11x
1pbogX8sFUq5vFTh2KB/mvG0fJH8vYRdF1GXsJceLK+VMrfT3BB+G3M3LtgQ4HDj
MKTgRwNMv1BIB1L2N0tiJHf931nLBAQofyHIfhYOz79wB8vOTnC9+GcyLcaooFBy
TyPUnJB0ErYAVEHupBDY5tXh5f+yOtwoX5CdvzCsE9NXvHsFQctu5R3Oj8QsF0Es
lJn8QuwAaY/OSTrwuXnhRoHULshNEbRiU5qIXQcj+Nf6dxVth7o=
=ka7C
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.