-----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-----