Back to gringo PTS page

Accepted gringo 5.3.0-9 (source) into unstable



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

Format: 1.8
Date: Fri, 01 Mar 2019 06:27:37 +0100
Source: gringo
Architecture: source
Version: 5.3.0-9
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changes:
 gringo (5.3.0-9) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 af6b25aaa45f7ecc4a617783400c853595922221 2096 gringo_5.3.0-9.dsc
 2c31f3caa945706b060d616db0e370949f752a4b 18464 gringo_5.3.0-9.debian.tar.xz
 31e7290bf5d0a085008951b55520d5466613dfd6 7765 gringo_5.3.0-9_amd64.buildinfo
Checksums-Sha256:
 b008a835b669d97fcdfcd2a20261ae362788f40867172575355f08c6c83fbc58 2096 gringo_5.3.0-9.dsc
 c7d86c49bf8ceb559d158f6af8dc0239ae0ecca65d331d360c0d9187c0157780 18464 gringo_5.3.0-9.debian.tar.xz
 0dafb049a067648a22e473edc68f2158cd94766ad48753cfd5776a9acf004161 7765 gringo_5.3.0-9_amd64.buildinfo
Files:
 a7dafc7fca89086f3480100a0a25efe0 2096 interpreters optional gringo_5.3.0-9.dsc
 51773986f889d29ae5306ac127614cc1 18464 interpreters optional gringo_5.3.0-9.debian.tar.xz
 28e52f9a76d0adb57085c232e2a76f7a 7765 interpreters optional gringo_5.3.0-9_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlx4x/IACgkQJ5ffdKZm
mql34Q//eNyusGSXzifZL1q6JrMHvcVzP0+9HnS/sn05UCShop628DIJJ+MlwcKD
YBhGx9z7y7JSUzaxH8snM9MuK8F/orAi6rcgSUPVT5gO6dbT3t85BFiw0Rv0Yeyt
MtLxOX5mH0v248IosHrYIla0+itxuud+qP17aRtIhq1aQySNxLwcbIPXBANapa3w
dzgJxy7y6EA7nJkr85Ye8+cNXgCxiegJU2wut8UGbZNihfbLcq21cwjVSI6I7974
ygceozzdnRuPyR/0Utr0nw0TD+z/v/2Jbj7MEzoOYE4PAs6EjCrau9w/iTkPkw1y
MvY0ZoeTfy0D82ywMvTUAHE9y3iw+MFvumYntWXbSKBLT3pEZknFIQMsdKCRbrJY
RB73HSFF0AfusaogoPzpL0xCOEjAQtsFhcAfqBtjEqBQLp/eSV5mapXUUHED8nXE
V5Ns/2I+q5xhCFrMbbiw+3cC5KjquWbS9Kt1ZwRdwXUpJnQ8ZWRMJ94rlYN2A4tE
+7XIifqj1UeseZmqdht36Vm2fL24dLRk8dOtKZaD02qankK/yuOKtzVGQ6a/haEy
XC9+gukCAcWBfJmR+ppDZRB4jnnWj73UrpzUVp0ZWe7lI6H+WI33khZUvOvdaJnz
AsZJ8/R4gWu3lm+1I1m+VQJEW0rxf0Mo5WGHx0i/RuTkhKq0ouo=
=gbFZ
-----END PGP SIGNATURE-----