gringo_4.5.4-2_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 01 May 2016 08:47:29 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.4-2
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
Closes: 822383
Changes:
 gringo (4.5.4-2) unstable; urgency=medium
 .
   * Bug fix: "FTBFS: error: 'pow' is not a member of 'std'", thanks to
     Martin Michlmayr (Closes: #822383).
   * Add patch to fix random python multithreading segfaults (upstream bug 117)
   * Add patch to fix #min/#max translation bug (upstream bug 119)
   * Build with liblua5.3
   * Bump Standards-Version to 3.9.8
Checksums-Sha1:
 c43b7ba91692a2c3878abf728c593ff2227e69fd 2056 gringo_4.5.4-2.dsc
 daac6e09a795711ec9637a21b102b055dc586dc2 10464 gringo_4.5.4-2.debian.tar.xz
 ed66e65af4942fa3c857420187ad43fee35d13ce 28247694 gringo-dbgsym_4.5.4-2_amd64.deb
 448bbd605964a478657c17df862738c80042e811 1839910 gringo_4.5.4-2_amd64.deb
Checksums-Sha256:
 ff554b448edb20a4dab4ff0762bb09ea8c684418ef5b5a71a120687c9839b8d7 2056 gringo_4.5.4-2.dsc
 52d8da8870d9a2f398c0e6030e8e7b656545ea42462149c9542e2a445dfdb95a 10464 gringo_4.5.4-2.debian.tar.xz
 ecfd7a5e7093a2f5ea13c95b4ff80ec580ca36640a4f2b0e57387928422f5dca 28247694 gringo-dbgsym_4.5.4-2_amd64.deb
 7bbd157d2ba8fb452b78e945f4f77fd5f5062deda677bc02fb68c95bece127bd 1839910 gringo_4.5.4-2_amd64.deb
Files:
 c606da6e48a4e077b7954197cb4a47d6 2056 interpreters extra gringo_4.5.4-2.dsc
 a7ed5e2a5602015d35e3e92086eaaab8 10464 interpreters extra gringo_4.5.4-2.debian.tar.xz
 606cfa5391a88920f0d4db612c155ea4 28247694 debug extra gringo-dbgsym_4.5.4-2_amd64.deb
 92c6a12d01dfe35ec69c8d6cc0fac23c 1839910 interpreters extra gringo_4.5.4-2_amd64.deb

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

iQIcBAEBCAAGBQJXJahnAAoJECeX33SmZpqpHzgP/13UExUqxkUkEGZdufF1CDLT
zHiv80Rb0UedPLHNgmCCLU5enBxf+I5knaGOF0hhusDdILpDJd6FlXyNroUHANV8
+EFwnsfbqiGJWXhJ4YTCQRgtklx9EInTBsjV5x/D8aaUjVT2eeOgp6PyTfRMbNa5
9hVGa29GDOdF0/o3vPV6BGUk79MezL5LlH5rOodOS1CHqwUUW8w0Rvo5EPIHf6Kx
DCsscskBCzJDSTTWDm3lEAvUDto1qrhZAAo81nvJbtq8a0DbFHr6eGrVohG3lECY
S7bAzpszw3CuosiCDY428ass+nPW8LTM2jXISbo3QlQ7dFUzkqvjIkkXgee6ftE0
ZFnF0yoV2ehAlicj1vIs+ceYU1R3fPTpPQZCJrtgNiNhrFJZl0210uaPEM3uhYeA
RdTInZ8Umd8YjMIAoxmq/S/M8ggl/kqxiY4SkFoBFCklr+loZpmkjgohHn2kXf1C
2RmQUNbX0H0Iq/ufaKhoIWsyq1Y6jQIDqjOxi6tE2wgxKR5/adiEH2rvPnDVnLbq
mGlKzuJmPXALmeGY0LKFqECUW/0EIv5B6HgG/+Z5wURtespXfL0+rJnfW3gee+Bi
za0BfVQOBnAntBINlb747Hsr77friOGuULjtUOB6Rh9w++3LTlA3rJTj6p9TcX9W
xtwsMMjeng0LVHU3VO9/
=zBQ+
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.