-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 02 Mar 2019 08:49:10 +0100 Source: gringo Architecture: source Version: 5.3.0-10 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Changes: gringo (5.3.0-10) unstable; urgency=medium . * Fix FTBFS on buster. * debian/control: add Build-Depends on g++-8 >= 8.2.0-21 * debian/symbols: add alpha and x32 symbols Checksums-Sha1: 47332388dcf9f0ef3e6a34667b36a43018d155b3 2100 gringo_5.3.0-10.dsc 7a62ba3608414e23830e5766b65bf70d6ad64008 18496 gringo_5.3.0-10.debian.tar.xz 671816560f106d26d6849ba79212e510ec91cd7f 7775 gringo_5.3.0-10_amd64.buildinfo Checksums-Sha256: 2bb811f4467269a1300eb8d1562674f6a50be133b252be34cc3e7dcb00226007 2100 gringo_5.3.0-10.dsc d99a193b28294456bcc8b0ed4c7a89af491d4222a7eb7d939d9a4ed4161e4cf4 18496 gringo_5.3.0-10.debian.tar.xz 6e99e9aebc580c3a60e8905f354d67be0b6a68f03300c42d1223556c6d5adb45 7775 gringo_5.3.0-10_amd64.buildinfo Files: 9064c2f406b0514936ce07610b8b1a42 2100 interpreters optional gringo_5.3.0-10.dsc 736088a475de0c6b78216d02a166491c 18496 interpreters optional gringo_5.3.0-10.debian.tar.xz 964160e0f180a80334b40675e90fb369 7775 interpreters optional gringo_5.3.0-10_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlx6PTsACgkQJ5ffdKZm mqncyg//SbW+gRDw3ium/V8sToFkPZqPPEuvvzqei80IpGLMmIuDvsYBag7olRB5 PvzJEhE2QXuNVrXN3JGhQyuzGOIpd4tfCsSt+sKqhqmEd5lHAYumVLZ+KGtOjjWN sxZGi6mpYz24aK7PqeNWU9QKpVIVzpBP3DoTEFwdbUVpVEqthpPcG2U+CEZOWohT WsSB7zrNkgd2nJ7Z8gBOJtu9oks73gAMuABazHpLPYBifdyTsuYEGMl3aJG0W77a nvOQdZWhmWjwl32ricv28mT9pfEY3iZMVj3J57yLYpyrvWUFKg6mfndizt2OBbp+ /s9PoJFRhboOc+13OeRystr/RlN2Gj4P3IJK1xfjocLIztvOSdbfNiabnX20kQlG +DhEZW5j85QHvchEtwyzxe5oewUFuZay18o73KYgxFT6AaurjIa+keXQsRtFkQ8V Mx1VHzrrk49ClND1GVxle61CWiVNPOEQgDG2AN14/Aw7NdNWB2b/r8XpoMI5juBJ 96Cb0mlnU+7REv2MqHQVgejhpjoZdNGbY1IyuItzS++UQpgVsuU3F36qg3mF5d6c E6s2sXIhcob3GwzkR11aC56pA0o4UbhSsjYv+XY9+Cf6CavPxZwxjj/jmFVVLFgL 1luppmcrEH6M2p3l27gk0FePV9EKHGyGglEn9DLltnNHv0QEwns= =hPaE -----END PGP SIGNATURE-----