-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 26 Feb 2014 13:06:29 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.3.0-1 Distribution: unstable Urgency: low 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.3.0-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 2bec941fc57eba8c8b25ff947298087b48cec09a 2044 gringo_4.3.0-1.dsc dccb55c2c690ebe1f6599a43b6072bfb50eb5e83 1450749 gringo_4.3.0.orig.tar.gz d7fe0cae4992b2537b9220f48de62534a3d9f04b 8236 gringo_4.3.0-1.debian.tar.xz 8307bca290236b71ca9248212115a912f97aa347 1500446 gringo_4.3.0-1_amd64.deb Checksums-Sha256: 633eb8a2f811ee5b9ac21a43887804d65cc2913bcaeaa77fd612c8091176e0fc 2044 gringo_4.3.0-1.dsc 6f53d4c11350eba0cb1d2d90385107e726d679eed46c46a2ce2d53098cf52178 1450749 gringo_4.3.0.orig.tar.gz 669a51d21ae1d041db689000b9d9bbc2b424a9e86d58552312ca9d344e474950 8236 gringo_4.3.0-1.debian.tar.xz 21fb5d3433af4caaf21717c322b758d51fa6a8df2b9e4d09d775454212a9feb2 1500446 gringo_4.3.0-1_amd64.deb Files: 400a7dfbab266527b0529da0662e9b67 2044 interpreters extra gringo_4.3.0-1.dsc eaccfb063d31c2df6bf60fd5569ae1d2 1450749 interpreters extra gringo_4.3.0.orig.tar.gz a9572f99ffb2cce80111c1eb99f1f86f 8236 interpreters extra gringo_4.3.0-1.debian.tar.xz 36a015ee36344f47cbcab7702ca8cb71 1500446 interpreters extra gringo_4.3.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTDgGxAAoJECeX33SmZpqpq9gP/2ZCXvg5amFrLdeg2WtnRjSD wd8TxqsULC6MQ4CkypmRu1Pu7j7+O2psapJG7fcKi6QL1yO9kGrQ/ozCvaJm+LnN CA7tF7aTUlW1FFihPQ7ntp3Wn9RydVZRPSjyRmcitHQe59041e3sjl1IXSkJq3SF m9yQFNzdW1y3d4Nqox9TKkUtltvLT31XAuEaDo+zkx+4cx5pS32usY5YgE85W1dE 7r499BmGplWvN6tH/nlVrr2ljqs85NuNHne6OGkszvaDR13DrJOT2sYOC/XIbog+ yNlR4xlhIQxhaFY9Qm2Q3k0bjWshJyBZDD5hGuulQY6yU2MZATGAupXhOXdV4zm4 3yc1iZ+buLxynsQYW58bITXEYbnIM1Yarq+nexNcuamAE2dQCra09/AS+RyV/bEm NqgUTgUlVogfpFa9tGH6T/BPRpUQ7iK8jzlLrs9/uS86t6yfSteO6hueDXKH1FY5 281Y96Z9VckEggxcuHVq1zyNJDjhdvStylTmqqYMFCEBS0Ob9a9hfSx/Kqjn1FHC KVcmvLamqTCiJx6LMwzMHGIRnEnA55cU6JSqvwadIh9mnFm8PGZ2WU+sAZC8YJZM 39VA8Ay7ebzEdmlj4SXdG9wH/7anIVEnNc3GLxj/tJcWnIjsS7Lv9q4NH7rwNkT3 VGKtivV0mb52fq0cazIY =1y4T -----END PGP SIGNATURE-----