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