-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Nov 2017 08:08:58 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.2-1 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.2-1) unstable; urgency=medium . * New upstream version 5.2.2 * drop upstream applied gringo-remove-wrong-assertion.patch * debian/symbols: add arm64 kfreebsd-amd64 kfreebsd-i386 symbols pkgkde-symbolshelper batchpatch -v 1 Checksums-Sha1: 96b51a3759805c7f8ee29ab5d1b6388854b72d64 2077 gringo_5.2.2-1.dsc 0eafe7832211601f0ecb30b515fff9abfe09d38f 2642685 gringo_5.2.2.orig.tar.gz 73c77ff74374cfd36b5d0a38583b6de2a554ae2b 12344 gringo_5.2.2-1.debian.tar.xz 7f95bc2dd48d7ea40ff3603bdf8f7bcf8ea9e751 23203164 gringo-dbgsym_5.2.2-1_amd64.deb d7398c7a8f043f1135c7d5fbf92505b6c41d9d05 7858 gringo_5.2.2-1_amd64.buildinfo 5a54a6e06254a4aa811f991ed11c74612242b582 2189184 gringo_5.2.2-1_amd64.deb Checksums-Sha256: 9b36b80f30d4958c06bd0c1cc7e631aeaff7dbb6f558237663e6df710184b592 2077 gringo_5.2.2-1.dsc da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf 2642685 gringo_5.2.2.orig.tar.gz 3066a2d4612e86fed47d14be7c75e8134607de5f710e9ca39f569c332463e8cf 12344 gringo_5.2.2-1.debian.tar.xz 04bea81f497a3dfc4a7b1851bba7606e15cffc4df24c3ff6eed260d12a988000 23203164 gringo-dbgsym_5.2.2-1_amd64.deb d649de38c129f06b80fbf89e6864236885fc4d72c15879a8e8d33e6097b761a1 7858 gringo_5.2.2-1_amd64.buildinfo 9e322ffbd7fb5bc803516133d99fa4564aab5ea58a7ef6053b3eb4f93e87c611 2189184 gringo_5.2.2-1_amd64.deb Files: 2e3b74c9237eb87255254f99377232a0 2077 interpreters optional gringo_5.2.2-1.dsc d46a1567f772eebad85c6300d55d2cc3 2642685 interpreters optional gringo_5.2.2.orig.tar.gz 8a04eb0687a18a59f910f1fd40faf2c6 12344 interpreters optional gringo_5.2.2-1.debian.tar.xz 12805cc7e87473d90420b20d052c266f 23203164 debug optional gringo-dbgsym_5.2.2-1_amd64.deb d2e48dc4285a2dc1a32d05598931d0b6 7858 interpreters optional gringo_5.2.2-1_amd64.buildinfo 6966f8b6a62a4d9bb9f47bf63097e07f 2189184 interpreters optional gringo_5.2.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAloFUxQACgkQJ5ffdKZm mqn7Ww//YIJKJtaKhH7jM/NduhSorChPzT1L0kKki8ujS5pgkj9iAisQDBDdQQth +7P6b8jRvYns4cyKHByG8Jj7YF8B43CE4cbuzbe+k6lGp8HVc7nw6ZMOPvyUl8dr vpMe3Z9R2weX1NOsO/lYDFNh1Gzk/m2tSlDqjPN/nqY1altjkTqZLl/521zLAy/o GAA9Zwo2ZsAwE3C3kM65LOJ0uEL/uTsU8Ghw2vx1W79s2o9eNtkbCw4HUy6x6bT+ hDUGWYxcWVJXqbYF3HjR+BKqG4pAWVLasa6kI5Ess0dJa+W9+RwYEN9LEkpsR6pu VAWNIgIpAOj7ulD5w/XlVsp5i0uEpI/y5HNXF6mj2gufu3mQLkkTcniEXnkFWlu/ soU5RYG9LZbOIvVBGBEG86WxPi+zRokeb9+UBwApGPSrnZrfH0ZQnK+PDOIbOD/U yj9KbHzuVIIDBu0D8RAklsh+Died0CJVnYRAfBDh/O6YTJ+TkNSnJxeTyWPJEinI a6e9eeKNym6J2P0/5ONWeOfALn55YvQQmds8jen4DBMINV9RfkhHZsV7nGKhlheH 7M/FI2v0rJR4I1phvw2Q6ajQjgB638IvmWrDL4yeDJcYRakc1YLMiNyO2sbOISi+ cDkIaAaiXMcPfEQbdNoGFjc85R5BIS5WRlemXtD5TrMLGOVYK5M= =R+Yl -----END PGP SIGNATURE-----