gringo_5.3.0-1_amd64.changes ACCEPTED into experimental

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 11 Nov 2018 08:56:35 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.3.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>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Changes:
 gringo (5.3.0-1) experimental; urgency=medium
 .
   * New upstream version 5.3.0
   * drop upstream applied gringo-makefile.patch
   * refresh gringo-python37-async.patch with fcef335 from upstream
   * install libclingo.so.2.0
   * debian/symbols: update to libclingo.so.2.0
Checksums-Sha1:
 79984ec8d79b491a9834a9853eb7d3f48f3c6248 2093 gringo_5.3.0-1.dsc
 1def58e947da5d28df48c6ecd822afd0a6b89a99 2684848 gringo_5.3.0.orig.tar.gz
 1e211263049999c6eca55899e5264e61f0ddf37c 17492 gringo_5.3.0-1.debian.tar.xz
 6cdb6e8ddb1b4bd613d6c2601a062e41405008f6 8167 gringo_5.3.0-1_amd64.buildinfo
Checksums-Sha256:
 c7926c80b0004d691bfd40669c148c62b7da6b58bfdfdc41dfe30300264122ca 2093 gringo_5.3.0-1.dsc
 b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 2684848 gringo_5.3.0.orig.tar.gz
 e6f38e2c7450919a63415e34a8163b547953f46c53a95b9c934b65887e5fe76d 17492 gringo_5.3.0-1.debian.tar.xz
 a8e0f7aebdcf6e94d87296da380212214189edf1b0d0523e4d6314b52ae860fb 8167 gringo_5.3.0-1_amd64.buildinfo
Files:
 c9ac42a29e0e3700e40b1ab89c0e3729 2093 interpreters optional gringo_5.3.0-1.dsc
 05678e1c194a1ad776174d311d900738 2684848 interpreters optional gringo_5.3.0.orig.tar.gz
 ee4ecae43474f8875b5a166b6f90f9ef 17492 interpreters optional gringo_5.3.0-1.debian.tar.xz
 290fd00126f4bf1f68f08ed0d31ba425 8167 interpreters optional gringo_5.3.0-1_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvoYsoACgkQJ5ffdKZm
mqkoaA/+MuBxWFN8w2KpETdKHeIQ/HGNk7UqsYwj1sFKHIBMqMH0tXW6QMNopYGe
AXi9GSo3YC7NG8ZNIYVdeWUHhc2zQDi8PHtfluZkAEErpIbIZAcJsaibmgAOvhfV
b4aiVliGs73d5vEq80sBdnmip6IW6Ke6cwfm+5tlitxGB3+U3eXA4LUltmlRUWew
xW4VKaw68vvYP33RPCPMU2sFKErQQd21KQXLUz9OEZy91aZ9y4GWNw126PpTXsx2
dJB0gxF23e98w3OGxx/648jNeA1VCn40KGJhWV6lvryuoBA5IxRX+JEnDJoytGYY
IUDKzkxLlgWwILtRGRgViVObzXfa51sDs5XjbGmdDnx7DpO344WW3Y4NFEB8KhGD
ZK5Z/uYO/Yd4HswIvzbMbqOqmveJRgkPGyqiB5xbYaZSqNOlzFuM0zDxM8EsN/Xv
GMO/4t8zI3IG43J5p+SF3co7e+waGm6qTnU714UKZzJVBHxAlTVVch3PC1ihviPt
kZd/iHY1o1WFy3eA5Ai42d1mgsN/EKtOe78bHv3O0814EIbCQTuu4poU8N6w/n/K
RGUj94pfB7OSFhGEUaru/pnWAyabyqycWggx9sJQl63SSmhCu7vmi6z5PSIOdneO
3aJNIDVwb7+DKAFZ6z3ryyg0L/MKOJAQ47gukc+jTcr6hyGezpE=
=iIEe
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.