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