gringo_4.5.1-1_amd64.changes ACCEPTED into unstable

Mon Jul 13 07:24:04 UTC 2015

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 13 Jul 2015 09:01:56 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Changes:
 gringo (4.5.1-1) unstable; urgency=medium
 .
   * Imported Upstream version 4.5.1
   * Add reify.1 manpage
Checksums-Sha1:
 419fa908e094aeb6a0947b512af44276aea9f551 2053 gringo_4.5.1-1.dsc
 a126b16ff37319e8199858179dcf7e65c70c5f1d 1672650 gringo_4.5.1.orig.tar.gz
 5ccb7d67bd7ab40551f2986294f732cd23ef9125 6440 gringo_4.5.1-1.debian.tar.xz
 91a2764685658d06b344e93d0b22701d02cd6182 1849192 gringo_4.5.1-1_amd64.deb
Checksums-Sha256:
 55c85bbf9b1c10ab461d5a2e8d5162b74f436c262d47e326e573b76eda4ad3ef 2053 gringo_4.5.1-1.dsc
 942be5977070859dc164347368248c1d22c451a55c2fd002081fa9abe0b5c50c 1672650 gringo_4.5.1.orig.tar.gz
 553faf5491cc2eb957aad2041e1fd7ffb4b351a8f43f4be50616ff1e156441ba 6440 gringo_4.5.1-1.debian.tar.xz
 b007715d8a00199ab69ca8c9c9e11900d84d4fc259135616970e848eefafe587 1849192 gringo_4.5.1-1_amd64.deb
Files:
 d551c70dfa720e247e4552b1876e26bf 2053 interpreters extra gringo_4.5.1-1.dsc
 aeed6257cc1555cd5ceaddc3eda2319d 1672650 interpreters extra gringo_4.5.1.orig.tar.gz
 6a2e48cd5a9208beb30a269b208b0740 6440 interpreters extra gringo_4.5.1-1.debian.tar.xz
 682e60045fffc6f99569847f1be091dc 1849192 interpreters extra gringo_4.5.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJVo2UmAAoJECeX33SmZpqp8MMP/3k383nETb/QbJLjnDuZNkNI
4G8fXQCxb4K1Gn8aO3OvCdyHmFiLIAYW4KlttYyuavthiUTh1okZxbHN+dZYzvW8
MMdG9HOG2NjKeShsRZC9xhJyle+OMVUJrlEyYx3Ev1mSN72Mi9bcoa9736KiIdp3
Vx3fon0sfJOwIETRNUyxJF/SyuII/tDwjE7H9SvqjgNrSG7OKSbNEfoOC9OlkjKo
AQ7ZIki1CSj08c/LF+pgLyTfS2/0kyvMYoEPxHL68QTYMivMY1EuyXr+0uR9S+b8
2ap0Ll+tyfb+1N3/4vnpWY1eH7wHIRj0LWYGvVkG3UW1vtrRtbXodCTS3j6eKKp7
1iaRYkqWh9tU9QWFEAbU1wsX86Af6C3vMSbqIWfWYqUvRotYx5vaK7ea5v7Q08eq
3tneuamUIYSQnenbe+E1EItnd/YwX7KrIfs9pDFz663k/rMAGIeEu++HR8MkUYv8
C9EQdLzr3FEYm/WET3WXxzR4pfPhpTHwfW2QindWhwCUzgcCWT7pNITIgqTvog0i
XTR2rO/BdX0uAKszWLTyHxnfiZMXHywidTfipxVnHzI2omdvn7i9DMjn8FUYYDpC
KdUPh9TUV9EzvjzQuSSkoVeg4L0uJkyzenfCQKExvBCJNT6rACwwyB7kuuIsxsIH
4SnuoRwoNtObitiR/61R
=k59Z
-----END PGP SIGNATURE-----

Thank you for your contribution to Debian.