-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 14 Dec 2018 08:09:08 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.3.0-6) unstable; urgency=medium . * debian/symbols: fix symbols for g++-8 >= 8.2.0-10 * Upload to unstable. Checksums-Sha1: af0d888a987ae7d2c7dbd1d00b4819a83d70acd5 2096 gringo_5.3.0-6.dsc 8b327e26ebd20bad54a8f15b67933436f65f276a 18248 gringo_5.3.0-6.debian.tar.xz 87709a319569d759da9c71d0a17ecbd8ed8c3fa9 7948 gringo_5.3.0-6_amd64.buildinfo Checksums-Sha256: 2c4f83863981dee2a8bf010406ca469799e18f321da64ff39a5249c9c9748dd9 2096 gringo_5.3.0-6.dsc 74dc47fb24ffeb2b45a51d33d00e66b120c1e770f89accf6152eb550c9a87153 18248 gringo_5.3.0-6.debian.tar.xz 747e815e98fd162b1a607d2a8f398e4ef6c5b22a025c2e12f6c2ab642e9789e1 7948 gringo_5.3.0-6_amd64.buildinfo Files: 9b0a0486d8c5d7cf6219d9f8075d8083 2096 interpreters optional gringo_5.3.0-6.dsc ce6bfc37166cd643e1716bf4d6c480cf 18248 interpreters optional gringo_5.3.0-6.debian.tar.xz 9cb140a1a5b043d444a07d20b4f6c0e2 7948 interpreters optional gringo_5.3.0-6_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlwT7sQACgkQJ5ffdKZm mqlA/w/8CtzIR2tJp7fn3b1h6rnuTUl9+lvznpBA7H9LGWteCfUfa5bLHuDJIYYd OnxLjsTiESwg5cLV++MeeV9BY6PaP0GyLEKu6tYIBs0WitYR/efxeJoC8W+/6FV2 7yW6nhzNAMpu2mlRqTItFOQgdEdpftJqTnPBnvk8zKOnpRXWV7KVJcbnEKMNzXkS 0ONlZh/g/ZnM+ssnQa/YOSkYCNoWE3ko24+SxTaKXd8Xb6vutFxINTAEfhaH5dzR HuZfamUiXKv8DNTT+xm3lGp7hUfO2Wkmcwl2F5RSOpZO9Zs3EtGSYm3GlpgQUVMR 1JIFaps9TqDPlvMr+oQWLx7YkImo5oywc8jqkYIWz4G+4IrmjBCA1m8k60J9cH0Q wyELczohNHLNX4K9kGCVPlcHhP8Dy/qXp3JPKsvcOof4RfyDggT2Or0RJXW55Aeb Sg6I3Ua3seAGieUGn8OjGn1auf1JOnjy/1/9F4DInG6jriinFOoKhqz1TFX9EMP7 Ol14KguxuUtOwSyG7dPNvQTeAPRuCjP2xqtgIoqv5fVLkrRrCXqb1ZE5FNf3RbeX 2yEHxRZVNOVWOXae7ly20Puyu/Z1vixcJdglbPZu5v9VMQCHK9TlhABnd4lYSR0J Eed6MmHrA/9a26Kn1i84xJhQOfsYM7ma9TE1Fz5KKmjjkeAJ8Yk= =ZPH3 -----END PGP SIGNATURE-----