-----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-----