Accepted gringo 4.5.3-1 (source amd64) into unstable

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

Format: 1.8
Date: Sat, 26 Sep 2015 09:31:03 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.3-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.3-1) unstable; urgency=medium
 .
   * Imported Upstream version 4.5.3
Checksums-Sha1:
 ffbec1b8886b0fd9a89ba56c9993deb4883efc38 2053 gringo_4.5.3-1.dsc
 3c050fdfda0cd7aa196eaac6e529f8e47a8b5ce9 1674919 gringo_4.5.3.orig.tar.gz
 aa130b7783510d545d6f2f85f2269c3fea94001b 6456 gringo_4.5.3-1.debian.tar.xz
 d516ecc3c476c68a2f95e229145fbc1f7340c82b 1837136 gringo_4.5.3-1_amd64.deb
Checksums-Sha256:
 cd350862fc4e1b2284193ff43498048efcbda61e91b7cd67e914994570c1129d 2053 gringo_4.5.3-1.dsc
 feb53913e697052e45c0d3a75ab9d2bb097abf6751caf452df3afa4376298825 1674919 gringo_4.5.3.orig.tar.gz
 f59e90743e3162286f29e29ad71ca18c6356c0b279ca2f1bbf5e05164775c116 6456 gringo_4.5.3-1.debian.tar.xz
 efa62b4666926720346f49310d90abfa77b385cb3098557f5a7be1f2476c1557 1837136 gringo_4.5.3-1_amd64.deb
Files:
 88650e9212af4c275706ac3616222f03 2053 interpreters extra gringo_4.5.3-1.dsc
 d65fcef8b77e008dba4d188fab1812a4 1674919 interpreters extra gringo_4.5.3.orig.tar.gz
 f968161174dba898f70b332f6d961aa6 6456 interpreters extra gringo_4.5.3-1.debian.tar.xz
 cb68168ed0aebc8c55fa84f964f86d55 1837136 interpreters extra gringo_4.5.3-1_amd64.deb

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

iQIcBAEBCAAGBQJWBk6WAAoJECeX33SmZpqpTl4P/2F41rfF71U20fUoYSPUo8QR
SFmZhor5gNQzlmq7cIWd5SmbZzEAOuhB/TLKp/2bF4/0aFtqVX5XMw/SW9o2y32I
73WY6tAa6V+7haQSDMn0T1TAVdOrmg9YCaIsCRgUKv9bEIZq+JqlYkxNuBCSNsz8
cSxuL2clEk5/GOum36Ah4mqxJMfef4EKjHIpdrGAtpZv8J92E9K6xqCvUvb9Dwk/
GMgTwdJoM8XulESJlWfQrzmzU2TDY+Sp2V3zz5obpaSlL1tc7VRsw5gkvwBKWWwN
xMe/stlP7NALExCMI1uthUh+wpU81OKtOlXQwgjTjBG1tLFLCntzMpnCTs3v/uXo
/WJbhGd2mtN+TTqdLaw24T+xfrpAap1Fa4bOR3v3rayRU4o0DGxhCx/4CHhVxZ/K
ySgMHOhRej6vZlYqVFCCgrqn09nqQPgc0dGGNqhWFESk4no7z40FmULrJKfuYKN7
fSPlTwmhEyKzWyesAH0sYlfBG3JVgwKuvpnq9PN/YqqOYAK9KynsM46tocgg3bMU
WQazxZNSgxCjvZBpuU0WqvzDcSkT57FjfqZj4g0nM20wmuWh5kGybKQTg2Z/CcBi
6jvM/oFHKyiEZy3V66+QpTFhC2qKS9uSNz2ddcHduhIK1flxwYLNKkapoec13Ehl
zPHH4kuNA7M82h+rQC5F
=tM3L
-----END PGP SIGNATURE-----