-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 11 Mar 2020 20:57:01 -0400 Source: gringo Architecture: source Version: 5.3.0-13 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-13) unstable; urgency=medium . * Upload to unstable * debian/symbols: fix symbols for g++-9 >= 9.2.0 on armel and powerpc Checksums-Sha1: 160808cd12dacae73af0c4c7063cb8b39f894eaa 2149 gringo_5.3.0-13.dsc 86e9d13f3da7efade0bec5504b25bbd6daa21494 19800 gringo_5.3.0-13.debian.tar.xz f611b1064f8b07014ef47a0bf66f79d26f6d7e81 8299 gringo_5.3.0-13_amd64.buildinfo Checksums-Sha256: 7cf0d059b514914048664914779b12d257ab09ef36c6f2c59928ed02fa7f6865 2149 gringo_5.3.0-13.dsc e487e8299280e6e595748e2a661c647d16a098fc156b965003cbfa6dd5d873c3 19800 gringo_5.3.0-13.debian.tar.xz 0fbe48205188bcf6140c7189cfe48173f80caba300fca89f8eb0ed35f9f85430 8299 gringo_5.3.0-13_amd64.buildinfo Files: b8e56e797e9629e607bc3afde28b3e38 2149 interpreters optional gringo_5.3.0-13.dsc 95b21a4433ce04b48edc05f624a354be 19800 interpreters optional gringo_5.3.0-13.debian.tar.xz 996f5cb0e9a6df75e4c74397b65ae60f 8299 interpreters optional gringo_5.3.0-13_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl5pjuoACgkQJ5ffdKZm mqnd5xAAmo0011nAWill6SPCf36gcFROyGupImZFrtpXJsEXtU9PmpbA9FlhK1/c EhnkHPpSGE/RSIXJkGEtKViwfS6kK4XtSUmw/tSlfwFKfdXJlNyDMLxUpeVJZ8HQ TfatIEN133OywpOspTDjR7XY0a8qGaQGkHpKNij7VTLiAZ597X4rleZCRcDox4UZ sgZO5DarIqTF2wc38b0afycAMCnJvXsTYtcFzyGeMeLidP/jrFr627qZoRZFtySG Nl8QWwx8RXa2kuiwQTO8EkLt8xXMrVy6nq0991g5EvOZqCmqRqG1Ridk5oDlcsBK g2JgTLGzu3L15HwIOXVPEqj7t91Syj5N7rcaumPLmUh7If3k7sctvUqTwQCbpMdA 9OKCh8zyHhGZ5+VDyt6RXYqk4AsBdixCvN02+TYYItxFZOYhMUoP04bt4nmatbou 5Q8RGpuPZWmhFcu6a00kLb8GRMslPYX52YLh4exYpxuqdh9jox2kn5sucN7T6u+d qei/ZR7tDPgqTyCdfxL8u6r7y9qez9sI6k1DXp0S9ap2BxI2AgX2Fg0Of8Z6CSV7 3mMA016WIW6Drh9eNHwEx0/bq9DYvIajdwsY4ayUj/wdBLrhqgNUvMAdnfN0LYoV 3ixfq5oWp9yG3dDv9gX6KB74Hchj5z6KBxkbM9cs2xPhlyESkVY= =k5qK -----END PGP SIGNATURE-----
