-----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@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tkren@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-----
