-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 13 Dec 2018 08:22:24 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-5 Distribution: experimental 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 Closes: 916266 Changes: gringo (5.3.0-5) experimental; urgency=medium . * Bug fix: "gringo FTBFS: symbol differences", thanks to Adrian Bunk (Closes: #916266). * debian/symbols: fix FTBFS for g++-8 >= 8.2.0-10 * debian/control: Build-Depends on g++-8 >= 8.2.0-10 Checksums-Sha1: e5b164a5269ef74644e667e6f5717cb91ed59212 2096 gringo_5.3.0-5.dsc 0c60405fc479aadd1485d7002e49c5531399f1b3 18208 gringo_5.3.0-5.debian.tar.xz 39617a110c30129722078fa934d4010182f00fa4 7948 gringo_5.3.0-5_amd64.buildinfo Checksums-Sha256: 4df77efde053b90fdf0fda95af6e0467238e6acc59a2d2cf8a1b61f5bb1fdc23 2096 gringo_5.3.0-5.dsc 7990852403d8c5495ff7f6f57301ba66cec6c36abe412b8dbbea95056ae0da0f 18208 gringo_5.3.0-5.debian.tar.xz 2d3745dc42307b64eae36d1310ec03e704c5e9574e3aee6834c3ef64779c0be5 7948 gringo_5.3.0-5_amd64.buildinfo Files: fa83bf0d18ebe569a1b4182dcf7e310a 2096 interpreters optional gringo_5.3.0-5.dsc 0ffd4ad58df47c2682b19aea23021f63 18208 interpreters optional gringo_5.3.0-5.debian.tar.xz a6f1960f6d8a5106e744d4ebeea7859f 7948 interpreters optional gringo_5.3.0-5_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlwSrVIACgkQJ5ffdKZm mqnnfQ/9G+YuqZP29DgB/5rzE0Mvqo2flQHOJvsFkuqBVmEgAP423q4k+YK1AFvH VXE53X49+RWovsuDp3d7hclX4e+nxDAMeuzRhn+4sSh2VOtFlGXX8XrMwdQND7Vv /5kgUNvfCmOGlbX38F2/kbJaSFFT2tVh4/poNm3+QCwcCcXvBa8oIfiXDj+hhzgr Ne2wvYr5RI6pL/i4gTC9cZbIMtgBv5mb/ZpGhMhM/prMqt6eJIr0waCGvKvKKhku 8aHHJFz38mBIu5GtebZixsI+z0V6aOf3m/fMmlMj45ui/vqHJ7Qi/0V1jZH0HkDr JSKOhYrie4ReYzXLaOx2PIXKJjn1RpUUlXh6wylzV+9mvvNTO0ahR/+1Iwc7KFa2 jBheAPkMoIlFloCK3wCfD6AOVP87NVyZTxJtdq6OREg4sXsf5Jjk6/C2wfRpduKu JS/YlxnRZxyOLKF9CuyCWmF+opTWvR5tKUUWw1HoFKULvqbNE+O1riguJSPr12S7 CTkebsiAaJ68RSadDwFI6XO5IoocRRWUC3kkJhWNfeociad+eo5WrlwFO144vrfM Xk+KTrrWO6qgrUL1+5BDcS85Ftr6K//ppi+8x4Pw6BxJj5S/EFsafh35p3YwIH6p jEd3XnBD9egcx9qq7sG8e09qtTyDaFkqUjfR++T6KIGy9aLuEAw= =VNkP -----END PGP SIGNATURE-----
