Accepted gringo 5.3.0-2 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 15 Nov 2018 07:30:26 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.3.0-2
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-2) experimental; urgency=medium
.
* debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2
Checksums-Sha1:
2d237a5d7567bfd0ed5359816cb02968326edd1f 2093 gringo_5.3.0-2.dsc
22aa65fe0e597770d485260d1958323920c83ee2 17552 gringo_5.3.0-2.debian.tar.xz
b95632410aa2e6e734912ba506d45066e17dee69 8019 gringo_5.3.0-2_amd64.buildinfo
Checksums-Sha256:
968ef1beae885720863b1d67200039c5200fa1fcd9cd2e8bffc0af9ae61f096e 2093 gringo_5.3.0-2.dsc
5480112d6539e588f55e858f1ee997170a504401513dd99e7494e796d45863a8 17552 gringo_5.3.0-2.debian.tar.xz
9a001505cb8c3f1f5651d518a7a1e9e50da679b2a41f1d27f1b32d998ab9f3c7 8019 gringo_5.3.0-2_amd64.buildinfo
Files:
37de630bf8a6a40cd77c6f613b7266ea 2093 interpreters optional gringo_5.3.0-2.dsc
76de1fddd907a5890182916b09656644 17552 interpreters optional gringo_5.3.0-2.debian.tar.xz
1e3fbfc0bfce68c5fdeeebf64dd89776 8019 interpreters optional gringo_5.3.0-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvtGFMACgkQJ5ffdKZm
mqnbKRAAhuv+RoaQTJxi1PfWv69hUqEgVOQZYO3vb5N21rC/SYKfcDiFQR/iXf0h
NU9hyZVIOie8IKOBrotSPn1LKv6xth2rt2oh42DwpEcQvizoiSeY3HGazTMXOCbQ
ePlHvxjUFs5VR2Jb/GmUWWIJY+GZVzxgo4tSc/2joYQRMsq+dH05btJ3AVZVm91y
Q0Rm+n8Bwub1EJJR3ICX3qtYLrsi4VtS9Vj1yEJPhYNy2TCwH/KUi4hMI3yTxfKn
0M4uCGqjZLr+BRnZ+9IaAZDZGb2d4pyzcHzOfDsIeMs8kK9g2ln1UUAHnmo+5fVX
ATQ/WlRDwjJUU7vv5JWZqE3hmu8DiaPDYM3hall/n/VbmYEzgAttvzurd3a/Sxes
Wh744f6NsgnJUdXYSE7WmS4HnV8E/u0Y6zb4azUdVAH9EOUD2kQwkDP7rVNxzrrd
5B4LPM2ri/O+84K4W4i3uZ8OGby46Q23f7K1iNpkCltTdiIpeawQqo2GG89WwfNC
+BoseWw+sVdd0bL6CMPBgRb45GSc8/ZKvI2ZLy/C3rRSV8sxvOryrw1paHGl40dU
BYUkkxupn3NtVyuATJQq6y4jAWTxcWWAxaCmY3v/kbP8FlwuZC198K+0RCJIkHV0
FJc8cuAid7xczwDBXhPGyZEtFnRQt1vFWUPi6Qc+3LuIEq7HJzU=
=H9Ny
-----END PGP SIGNATURE-----