Accepted gringo 5.2.1-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 03 Nov 2017 06:42:20 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.2.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>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (5.2.1-2) unstable; urgency=medium
.
* Use pkgkde-symbolshelper to manage C++ symbols
* debian/rules: use pkgkde_symbolshelper dh addon
* debian/control: Build-Depends on pkg-kde-tools
* debian/symbols: use pkgkde-symbolshelper to create C++ symbols
Checksums-Sha1:
f5fd473f0a5cad73e15d13a494a633379a399f93 2077 gringo_5.2.1-2.dsc
9b9764fc4e307d513c6933d92a689d0192424adf 11624 gringo_5.2.1-2.debian.tar.xz
1f90de2a81069f67b8e6acce72fba2306d30d805 23244504 gringo-dbgsym_5.2.1-2_amd64.deb
f8a38ffce485bad7da5b13a0c5c853182ae65131 7854 gringo_5.2.1-2_amd64.buildinfo
beb31a178d53700995205d9e540a626463f65152 2187668 gringo_5.2.1-2_amd64.deb
Checksums-Sha256:
1ed34f4c86868a9457ef8b8b9be58069db05836217a228f29997df7ea8d07dd9 2077 gringo_5.2.1-2.dsc
a629500d2908d03ee3c63f8adcddbe8e31d81dcfe3ea84e96030280a8a972edc 11624 gringo_5.2.1-2.debian.tar.xz
5a98c1a499da5df25b4aaa64cca9b6314fd301e447280d9142183bf456d64b5d 23244504 gringo-dbgsym_5.2.1-2_amd64.deb
bcc33a4497d00f4b44a4df149cbe47347ee67724cdd48c9af231775296dffd18 7854 gringo_5.2.1-2_amd64.buildinfo
e2b755f94f52d49e5bf8bacdc10a1aabd4cb1f0b4cc8fe12700f65baa1acb2ee 2187668 gringo_5.2.1-2_amd64.deb
Files:
82f0c76adb59945a00ee3afcfd34d4cb 2077 interpreters optional gringo_5.2.1-2.dsc
817a491ee9b6f935d5189db50ec68a2b 11624 interpreters optional gringo_5.2.1-2.debian.tar.xz
84f6d144032d9cc9a4e5b8f49944ba7c 23244504 debug optional gringo-dbgsym_5.2.1-2_amd64.deb
eb9f38bd1b289b96bcc3a787d45924df 7854 interpreters optional gringo_5.2.1-2_amd64.buildinfo
c4895f0f11d4de3600add9fc9500112d 2187668 interpreters optional gringo_5.2.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln8BCkACgkQJ5ffdKZm
mqmmtxAAlHJitRhkV6ZTybuD3Dm9qHtd2YgiKXcQ+PvO+enCvraFOmXiByxDnOFX
HNAzGsXzEgwolE/sQb591jqDqajCICHyVdGpusLBAwQAEwuxdtpojcQ5C2DBYY4B
869Qe4n5PUx3dpeOvSVyotjTkzUddy9o5M5hgZMKEFHbfR2jJ5ugjdDY5zaScR+e
HNfBkJzbF4vvyBHsTTkkCdJTkN5MuX4Jqb/g1Uw5krKVui337S6L/pQHJgaHDQhE
6TIOdubGqY7Ag3HG1Wpw+pLVkwkZ+mfQX8TF//DOnQvFvvqGtFHLc0mSGDM1rHxJ
3xj/aQUD6Ex2+d30WqAKniu/PBzYAyLufxJ9iOfDHF4tAFkVd3kNvg7UWWYYNvZf
XwoOc21w62nvcoGCVXZ6CjQiyLTRZqFWHLte5qIhzkfGPnm4MerZ8zAcXNBLoYBx
iAZB2OSi1jOnFWEZlQCOwbleUEDB7KCv0ufWqStpmNrVIGYI0sXTA3kSpgS2y4Fy
VxiTs3/lps62BoN90hfWvGRHMlunwqBLz7B8CHU0dRHzk+hZAYw4y+QB91DwZwF/
qRUw9srllVKpLAuLpjUqZVdKgeXdD8uWNq1BfFLfznDckNbMZ/dDUMdvylrfUajA
mJNIgb0/n+ioIW79RInbiiXT30AaHQkMd24+sEnYnfGyzHBRx5g=
=gD38
-----END PGP SIGNATURE-----