-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 07 Nov 2018 04:07:00 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.3-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 912269 Changes: gringo (5.2.3-4) unstable; urgency=medium . * Bug fix: "Please update symbols for riscv64", thanks to Manuel A. Fernandez Montecelo (Closes: #912269). * debian/symbols: batchpatch symbols for g++-8 * Upload to unstable. Checksums-Sha1: ae18cd9562b188f12afe1fd8de3c46be78006959 2093 gringo_5.2.3-4.dsc 439ca672a75cb4b7df3a017e01317259e8d73a18 17516 gringo_5.2.3-4.debian.tar.xz 553f8e23353b811eba5ce6ca27d008bd276fdf4d 8131 gringo_5.2.3-4_amd64.buildinfo Checksums-Sha256: 6693b88769c91a967e0ce8c71a45f50a44c0664afe469faea23be48e36ebf260 2093 gringo_5.2.3-4.dsc 63e61bd4a3f94c7909a850a4405312a3dff4cc8abf4afe6d70350168a6fe6cc4 17516 gringo_5.2.3-4.debian.tar.xz 6199b7940303c6434c049b7cb3496e8cab5809383042ea04357e0b97d0c7b0c9 8131 gringo_5.2.3-4_amd64.buildinfo Files: 995778f335734de75995243a0d735c4b 2093 interpreters optional gringo_5.2.3-4.dsc a61f422d2f61c684c7126d7a3cf6fe57 17516 interpreters optional gringo_5.2.3-4.debian.tar.xz 9fa323a8565a0a8a63e8d5ab76aaa9c0 8131 interpreters optional gringo_5.2.3-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlviXAIACgkQJ5ffdKZm mqms2RAAh48b+Bykw5zddU77A6y8jLTfTzN6Ryhxms+FpI3TZahwj17ks8haXqi6 ruiL8yzXTgyYzCPa1K7VgRXCSgGbKseHn92gblJgtRECXXUzWpuINYwMFKl2El3W Ziw2qGYz0ELrt5SM80Y4e1ykKTcDM+Cn93biI7oJYwmI5IkKGWQ0w9sma75aoeH1 Bz7cvUQqR2eGXsl/iOc2fMlZNTixJv6gkCpEpIEITLHoNmrODzvliZo/FXQdBv3Q k/e/0jWUyu2PC44QLJfi8i9yUaY1PmS/wqjmVOYH4zwwYgC0a6Alnypp6jCfgG/h R/ADZ6zcDT2du95rEhECLfZ1BB+FfGOk45fmVLb/tFy/KwhS4ZF9MpPoe2OmAyVe +DNhhvnBWNX+uc+12+MtaiDNXLO3436HLoBnGzVXyVBfldIHkUWowbPJXAtcOeGH uCpwFOO0G5cfqu0BFs+j/FIePjsif6TF2/U9He8A06/zWsV9Mmo2Nn83YJczM0On /J8MHyA6qUBKuMMwW0UXVxcj0ImgjcOVh5OwHB0AZ+9IwulBo5PqU5S9UhuIRAAu lY+d4JPQivwxSbURbOReMRxf/BOs1aX7cKQkfQwdTbM42qveMz6E2tTl5LVnAJy8 PNQ2M+jaLvH3+SPsF/fFXDOua4o91laiUj97yYGRqmVk4uVXYmc= =DwAg -----END PGP SIGNATURE-----