Accepted gringo 5.3.0-1 (source) into experimental
-----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@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@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-----