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