Accepted gringo 4.3.0-1 (source amd64)
-----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-----