Accepted gringo 4.5.4-4 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 07 Dec 2016 08:27:20 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.4-4
Distribution: unstable
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
Closes: 844096
Changes:
gringo (4.5.4-4) unstable; urgency=medium
.
* Bug fix: "please make the build reproducible", thanks to
Reiner Herrmann (Closes: #844096).
Checksums-Sha1:
0b4fc6d59ba19db1aef8d41a12e580ddb4b1da6f 2070 gringo_4.5.4-4.dsc
cf1e755f468108ed87fc38d9650f8e28787232f8 11340 gringo_4.5.4-4.debian.tar.xz
594c215c46d0408679777edda9f1e9b4110cae90 29928388 gringo-dbgsym_4.5.4-4_amd64.deb
e5a3715c49737330457fa958e21d5d4bee8f5675 5811 gringo_4.5.4-4_amd64.buildinfo
62bcf797059ad4e8adff598ddca2ee4548784429 1844774 gringo_4.5.4-4_amd64.deb
Checksums-Sha256:
f9991b514990b3308d375335efc0126e2a2b62bcee6b183c7de24ce21c2c07eb 2070 gringo_4.5.4-4.dsc
509cb3c4559086611c208dd21043ca7034089a263ec87c46f05b2ec70a10c55a 11340 gringo_4.5.4-4.debian.tar.xz
647a3af1c32ab46ac2df8cdab489a1edcc056dcee2eae1028c404f41ac5e6754 29928388 gringo-dbgsym_4.5.4-4_amd64.deb
6ab128d0a05983a85805c1279871c8928d5ddf4a03ad502f7bd667991f5eb14c 5811 gringo_4.5.4-4_amd64.buildinfo
b46b43d871a96d75b26d613831c8328ffc8f92132fa9bf5b92b54b0179482b2c 1844774 gringo_4.5.4-4_amd64.deb
Files:
f964c83c1c5511cccbfd43f42578489a 2070 interpreters extra gringo_4.5.4-4.dsc
9bbd7a869a75bc2a7e1b9714e2d1bcad 11340 interpreters extra gringo_4.5.4-4.debian.tar.xz
d1accbf5c26102ab7ee5df67e5294a24 29928388 debug extra gringo-dbgsym_4.5.4-4_amd64.deb
1777b0174fe3e8f54985624233faf49b 5811 interpreters extra gringo_4.5.4-4_amd64.buildinfo
4569207229994c400aca1ee634c8db4a 1844774 interpreters extra gringo_4.5.4-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhIYTcACgkQJ5ffdKZm
mqkYxBAAhP0bNj8Ada8f6FtWZveo7lsYICEgWoCcSrwSk44FGxeO3WWDmkx4p0HG
/m+NCXDxB6Yy54mMBY6a3acgl7K4+bEVcWhxGzXaRsGjta2b++DkQ444ZwslSmqx
rn98wM/0gVcPgFumi/FzSOD6fGe/4YVjDN2UTLp6n1ZADkTudcfOsHTkyOkneJkK
Zv0zXY1uZd5lvN6vx4HLuP3rFAUYcaM3Pd92qJNLCTo3kzGW1RuMYFzBBjCUD36B
yeJJof9WM99Vp9ZQ2vDwGcFcrDQbzMonscxCjlmzHuGHYCLeqGitgYcaAiXWtZ5m
hyQ2yuTwPiu+nKWEK/0NVwcNtOnx5SMEzyEHkli1w3uUt9nBL2ScGKpm01cBzTIN
tLwW/ebGtDmIpb0i0dn/ueTo8uV884SzrSKl1dKDeO6+VRor/w7BgiZhhKVOZMqj
5Jyy2Rgak1spt651jGIAwgyLlTEYWNGRZ/0xPJbqxsTby4oI8taqb83pS/DmnpF5
bgkfYrOyq/NnzF0xrGUKF2LbhwKJfW+jj200dcCsaGRQxl9ToxyXmKQGk5GW4Dbf
IqL/Esi8y1resnzjDneYIU2vuhbcfNjI5BOUFGBmRJI5EKT2j6liyvIktq8mwhNr
zVp+eNn4U1v7aYJxchihJltBqhrIXr2a+GDRAwuJIXUPkBD5Kwg=
=bacj
-----END PGP SIGNATURE-----