Accepted gringo 5.3.0-13 (source) into unstable
-----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-----