Accepted gringo 5.4.1-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 27 Dec 2020 17:29:03 +0000
Source: gringo
Architecture: source
Version: 5.4.1-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>
Changes:
gringo (5.4.1-2) unstable; urgency=medium
.
* Upload to unstable
* debian/symbols: fix symbols for g++-10 >= 10.2.1
Checksums-Sha1:
af5aa7f6bb7f170569b802e3b23fde07ff3568fc 2128 gringo_5.4.1-2.dsc
e8ca00aa3cee2f4d27d5c5cedaacdc60aec8c6c6 23148 gringo_5.4.1-2.debian.tar.xz
16a9331b2c380d9efaa4e374ccc46f7e9aec5a84 8224 gringo_5.4.1-2_amd64.buildinfo
Checksums-Sha256:
038786d9c569b09ab51b20c1394a8e8666f754248b3b01a8066f1c214b1fd259 2128 gringo_5.4.1-2.dsc
134720d46524700a349291f8bc5e0612007daa7a8904ddcdd62425304b0d04f0 23148 gringo_5.4.1-2.debian.tar.xz
4f9c192493cae11f40c200323868646897ee47fd67a80c7b5f64a171a4ccb3bf 8224 gringo_5.4.1-2_amd64.buildinfo
Files:
2b3bf38f363ccae5b246334c36eb5840 2128 interpreters optional gringo_5.4.1-2.dsc
024d7293408a8317a372a6208d79d75f 23148 interpreters optional gringo_5.4.1-2.debian.tar.xz
0ec764a54e5a6c50fd90676ff5a669b7 8224 interpreters optional gringo_5.4.1-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl/oyd0ACgkQJ5ffdKZm
mqlomRAAkEuv8VejrcoXAjNEe6WLfL1CrHIHjMCNM/IvbY7lQQoOzt3HyLTAjJR8
9QYu4M1Rm2/9UMOWu3nceCnWko/BdoSiKEAAQ2qeFrVoeCwvCOo/Cge42J7IbR9B
9CX/f90j9DIxnoDM6s+sLp2TAMHjzo89Ccl3iK7735cyz3jTfuNTUbCn95aCrs4B
eNIkGjdb2zjJkEQaSpYFG+rNxvqsW4FlR/Tno84WGFcu8lLhJBiopHaUFTNBOb0V
vW7sQWgfCsuKDR2M+mFlTrX5QCpk6Y5QnOW8SG7ryD1JyJNgoARUTwaUZbstnX4H
so85dp+jKGOkqG8ZU8E1Q92oaNh5kl+arXr8+8GLsyAu0bLIe0hfKjBiH7x/dOvA
R+9UxgBjyqLJKhiFuRIiOCfjuamiXsgyyftgNC1PgOQhprENvm9kBfN9T9yEHyzB
v3zbxOvDIQaIo5UVir3f43fZtfR8Q6budpMTxnC+tYBVi42BiW2sIW0znvDtQyyf
W0Z/wNX190cdGdgZIqO70BuKPzvLlcM4+e6NugFl3TksuYd2G6NT1dS5okPvl7fH
EOMauJ4CFllliT+9RkbXFb+ovIm3f1j1wu4ySbXA+sPvINIR1OdB7x13rl5Aw79l
okhXgZgkI0/j9Ah+rVHfgJq9e7nKNynxy9hsI/6s72zgreQS4eo=
=6gbD
-----END PGP SIGNATURE-----