-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 19 Dec 2015 14:07:05 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-1 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 Changes: gringo (4.5.4-1) unstable; urgency=medium . * Imported Upstream version 4.5.4 Checksums-Sha1: dd1e04b6d917d17924367d452a8d6e5292130edc 2053 gringo_4.5.4-1.dsc 5eb5e077cf9e1a87baf2c18322e431158090d656 1677479 gringo_4.5.4.orig.tar.gz dcb8794b1abecbe6d917926acca6669d5ef5a89c 6472 gringo_4.5.4-1.debian.tar.xz 62e9137cccd6ceae88d161cec5cb762f69be3023 29492936 gringo-dbgsym_4.5.4-1_amd64.deb 98b7bed5e5fe93e7e22227c290c3ee4c55ec86e3 1840310 gringo_4.5.4-1_amd64.deb Checksums-Sha256: 61214b9a7984fdb612a378970a91e24651839bdd993a1bb623e381f0ecf1bf32 2053 gringo_4.5.4-1.dsc 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a 1677479 gringo_4.5.4.orig.tar.gz 9cbbcebde6ffa8b090a0da2549e025961238b3bfca88c65810da888b401401ee 6472 gringo_4.5.4-1.debian.tar.xz dabd7c0406f7a759ac4780d5aac64a048f040acb236eeaca3c476855e57cc713 29492936 gringo-dbgsym_4.5.4-1_amd64.deb 67ffbcab29834010d5fa8c49092a7194c709975d58c9234b842bf3d440310f5e 1840310 gringo_4.5.4-1_amd64.deb Files: c06ead2df9885398bd5d40f352460df5 2053 interpreters extra gringo_4.5.4-1.dsc 3cf0498402602be53412d34ee93f42bf 1677479 interpreters extra gringo_4.5.4.orig.tar.gz 505b4427f9f675ccc6e581b29fac9c53 6472 interpreters extra gringo_4.5.4-1.debian.tar.xz eb5a4cd019e7f4280fe3d53eef1b4acb 29492936 debug extra gringo-dbgsym_4.5.4-1_amd64.deb 5b9af260d2d5e635d7432a5f91b1ef9e 1840310 interpreters extra gringo_4.5.4-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWdpG8AAoJECeX33SmZpqpzPAP/ApLD/geIYMxc4Fu2lt7/124 Bmq/RYfpALUgQXl1qX/g6hNYnmSx7k6kRG/hOfKA1vgkaOY6LqzxEhzgYIq+lxH+ nNEjhGahnv8ZZfqy+qjt7M3a2pnXktcZeZpt2Dq6Gc2xCQ5CwAYk2Ho0UeVm/j5/ DF1LVm+FlWEdxngu7g/E1ZjVDJkYEz+Vk2Bfqee3HKsaI192xoJlGpnt592JVPLR g0nq4V7tuUqLW96Yrdis55PAN+C669A/1UUvFx3WIJXLAVBlDycRXHXxS79vfXTX RPx86fD3JBN1f6YlcZgmdEOFMIg0gP26oIV5CumiAIVoXCENkcv5PY/gFT47FcdF HOREA7ngqw8vELpqzbG1HmJm/9rphrTuTLT0ZYa3SbhK8G0TbhTMAwOgQeeLFu4+ rMJpXFXu657grsYthVbltK/XCcflq7zbbqTiZtDPRnZnKy908TxVz1b/75bsENAE u4MzxrWxt7k/mbgs2uVm5c4UDU2GB6v7yWLfCXnIvEDTE0KCrB0vRzUVO9g1fUYb GM98KAyh88GzG+wm7rts6DAl8yejOEidEsOb5DjBmqMEDdkvJPlgcfsDIaTj0P8D aKivheXZd4qT+Yq0IpOXTZImO3BhZg1ZWwKeYtebrAP1u9ZgJEvGzNm8zpN9gGAg FaSXesn82fX6k0ekIAm8 =c0xm -----END PGP SIGNATURE-----