gringo_5.2.3-4_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Wed, 07 Nov 2018 04:07:00 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.3-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Closes: 912269
Changes:
 gringo (5.2.3-4) unstable; urgency=medium
 .
   * Bug fix: "Please update symbols for riscv64", thanks to Manuel
     A. Fernandez Montecelo (Closes: #912269).
   * debian/symbols: batchpatch symbols for g++-8
   * Upload to unstable.
Checksums-Sha1:
 ae18cd9562b188f12afe1fd8de3c46be78006959 2093 gringo_5.2.3-4.dsc
 439ca672a75cb4b7df3a017e01317259e8d73a18 17516 gringo_5.2.3-4.debian.tar.xz
 553f8e23353b811eba5ce6ca27d008bd276fdf4d 8131 gringo_5.2.3-4_amd64.buildinfo
Checksums-Sha256:
 6693b88769c91a967e0ce8c71a45f50a44c0664afe469faea23be48e36ebf260 2093 gringo_5.2.3-4.dsc
 63e61bd4a3f94c7909a850a4405312a3dff4cc8abf4afe6d70350168a6fe6cc4 17516 gringo_5.2.3-4.debian.tar.xz
 6199b7940303c6434c049b7cb3496e8cab5809383042ea04357e0b97d0c7b0c9 8131 gringo_5.2.3-4_amd64.buildinfo
Files:
 995778f335734de75995243a0d735c4b 2093 interpreters optional gringo_5.2.3-4.dsc
 a61f422d2f61c684c7126d7a3cf6fe57 17516 interpreters optional gringo_5.2.3-4.debian.tar.xz
 9fa323a8565a0a8a63e8d5ab76aaa9c0 8131 interpreters optional gringo_5.2.3-4_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlviXAIACgkQJ5ffdKZm
mqms2RAAh48b+Bykw5zddU77A6y8jLTfTzN6Ryhxms+FpI3TZahwj17ks8haXqi6
ruiL8yzXTgyYzCPa1K7VgRXCSgGbKseHn92gblJgtRECXXUzWpuINYwMFKl2El3W
Ziw2qGYz0ELrt5SM80Y4e1ykKTcDM+Cn93biI7oJYwmI5IkKGWQ0w9sma75aoeH1
Bz7cvUQqR2eGXsl/iOc2fMlZNTixJv6gkCpEpIEITLHoNmrODzvliZo/FXQdBv3Q
k/e/0jWUyu2PC44QLJfi8i9yUaY1PmS/wqjmVOYH4zwwYgC0a6Alnypp6jCfgG/h
R/ADZ6zcDT2du95rEhECLfZ1BB+FfGOk45fmVLb/tFy/KwhS4ZF9MpPoe2OmAyVe
+DNhhvnBWNX+uc+12+MtaiDNXLO3436HLoBnGzVXyVBfldIHkUWowbPJXAtcOeGH
uCpwFOO0G5cfqu0BFs+j/FIePjsif6TF2/U9He8A06/zWsV9Mmo2Nn83YJczM0On
/J8MHyA6qUBKuMMwW0UXVxcj0ImgjcOVh5OwHB0AZ+9IwulBo5PqU5S9UhuIRAAu
lY+d4JPQivwxSbURbOReMRxf/BOs1aX7cKQkfQwdTbM42qveMz6E2tTl5LVnAJy8
PNQ2M+jaLvH3+SPsF/fFXDOua4o91laiUj97yYGRqmVk4uVXYmc=
=DwAg
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.