Accepted gringo 5.3.0-5 (source) into experimental
-----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-----