gringo_4.5.0-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sat, 11 Jul 2015 09:36:10 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.0-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.0-1) unstable; urgency=medium
 .
   * Bump Standards-Version to 3.9.6.
   * Imported Upstream version 4.5.0
   * debian/control: Add Breaks: aspcud (<= 1.9.0-2). Add reify description.
   * debian/copyright: Update copyright information, remove outdated files.
   * debian/docs: Remove NOTES.
   * debian/install: Install reify.
   * debian/rules: Build reify.
Checksums-Sha1:
 d977c1e9793c2723a3960154bf2b9ef9caf6744c 2053 gringo_4.5.0-1.dsc
 bbe67ed1d5c6f5ca6d5958e04b706595d39b4653 1671825 gringo_4.5.0.orig.tar.gz
 287713fdc239b6fdf049bbaf96f56ce28ad3bf2b 6572 gringo_4.5.0-1.debian.tar.xz
 7f571bd985d3588a190d8a8ee61076311a7005e8 1840914 gringo_4.5.0-1_amd64.deb
Checksums-Sha256:
 5bf372e329f756184fdc8121f5560a21c5b0cd5c1a5da47d81da9ec45cd95ccd 2053 gringo_4.5.0-1.dsc
 fd7bd8756d3bdf3ed1df1fae9e8a8efdc4bcc613c41086640205e677e0e22f6f 1671825 gringo_4.5.0.orig.tar.gz
 7367e49e42dc78aaf1487474a2a66279870ace554563f34b07469e6ed8bf7b8a 6572 gringo_4.5.0-1.debian.tar.xz
 2ed2d57670dee75314b49da61f95ded5d1b51880194b29c972677ba0648ac957 1840914 gringo_4.5.0-1_amd64.deb
Files:
 9677ece757cc2eb8666015f4049c3e80 2053 interpreters extra gringo_4.5.0-1.dsc
 bc3cf96199fcf6d728e7bd15c334de4e 1671825 interpreters extra gringo_4.5.0.orig.tar.gz
 fa2d8351f4c6dd0e752aeb377525238b 6572 interpreters extra gringo_4.5.0-1.debian.tar.xz
 62fa6a22bc4ceb4eefbcb3ddf486669b 1840914 interpreters extra gringo_4.5.0-1_amd64.deb

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

iQIcBAEBCAAGBQJVoMoFAAoJECeX33SmZpqpe40QAJISByEVEBFBA6zEpYCdbujF
wUDAN22/bHkA9q7G9S/eQ6uIvY1rCcAZYUQh+HoWGdKMaHmj8d/QuTbKCnIlIL15
cLyHN+yblzYBVu0rNQas7TOe9KHcHUsFESsDvrWnXUBvgxonXN0UwN3n4cWDaYlv
3ts2WvQ5b2LNug+l0B6j7HfTdNrkGXynmwNmRNb0gJLzzG3HkWVI1bik6L+atnwD
Ub8LHcj0kLHXxyPfJu4zQ8uyJ2hPCtPa/lFaYEyHMrZ/6rbl3/lF12zqNir3FJxp
9csK548nn9vK4Y8KuxBVlqI7zOtJdEggsw3PtdBmBDWqRXcSTYpV0HCwhEW1+Bs7
smC0Z4SZVRBwUQM89Qaqs0lCIC+azZIvsBbdKpcjG5lMG0IHZ03j13HH9d+HyaxW
JPT+v1Qh/RslvzOiopy5TBfnVm6KMGn450+AML36UC4AQz5MO0GochHc/ukqngOP
Vv/4OD3vuZYR+GcWhK+mKL9SOXF63fwjgWY6BmmbR6X+v1liHxGnXpszr1aLHTM9
yGxRZzERZCjq9esuN2engewtSo6qWoVkXVCSRWiScvxoVD37P4gNe4QoWoeAmapi
10G11Yt14b+j28QFMK438BOtebjgIfCHxEIN8N6eJ+Xx4VyikSLAOaMwqdCHDGVS
oenkBeeeH+NGAlVEYBEn
=Tr2R
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.