-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 04 Nov 2017 11:14:23 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-3 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-3) unstable; urgency=medium . * add patch from upstream commit 02c6d85 to fix wrong assertion * debian/control: Build-Depends to cmake >= 3.1.0 Checksums-Sha1: 87cd46a1f4d86affe211a8f630d7c69ef509d0f4 2077 gringo_5.2.1-3.dsc 41e9eec9bb39d0441e8151e80f6b0174ded587f2 12496 gringo_5.2.1-3.debian.tar.xz 5162e5d422c541f5f1ccbc601ff52245051c88b5 23244132 gringo-dbgsym_5.2.1-3_amd64.deb 9485833ba24c7672899b3a81029485955e18dad5 7857 gringo_5.2.1-3_amd64.buildinfo 81ac96ed827de79303a6c125e3b46b877089c360 2187592 gringo_5.2.1-3_amd64.deb Checksums-Sha256: da4c65126cdcca77e6d65ecdd80aa1fc6a24c5ee88d18ba010d9e95df21e45fc 2077 gringo_5.2.1-3.dsc 6b8ceed4192546324bf509c0915a04724590eb9d58cad8ae1bf605e1f1d9bec9 12496 gringo_5.2.1-3.debian.tar.xz 04faa15e6411cf2afee19dd1a55e3a0807a8946795237b512a2befc10a92f2d3 23244132 gringo-dbgsym_5.2.1-3_amd64.deb 6210d025ae871228c9a8c4ea2cf389f3bdad230bcfdb317af8d0a9896ed7ae34 7857 gringo_5.2.1-3_amd64.buildinfo 69d3f2dc8b31eba52a5a9df3838ec34adaedcd9570b98ad590de5a01e28635e4 2187592 gringo_5.2.1-3_amd64.deb Files: aee0c0c7921cc9f6123115db35ead2be 2077 interpreters optional gringo_5.2.1-3.dsc 6b7fa533f82a774769468342775a4c59 12496 interpreters optional gringo_5.2.1-3.debian.tar.xz 9d2501f3bbf5f29d983f05d4e7b03a48 23244132 debug optional gringo-dbgsym_5.2.1-3_amd64.deb 0a2ef5f9acbd77cdbd9c532c7b78903d 7857 interpreters optional gringo_5.2.1-3_amd64.buildinfo 782ca22a4344c630ea10b1aa54f5d7e5 2187592 interpreters optional gringo_5.2.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln9k7UACgkQJ5ffdKZm mqmtBg//am3PN5u6WH9bwkVrR2B2nGzigJAJQ/4+eQ1svDCu6CPEvKMEeBYsl3dq 5Xl/8cVbL1rYD/88BGoi2l9EhukCN61NtF4JTSB/ZecgA8AkYtPHDddag9V0tVvx 3jobsouvNB5lbeCYbdPGBFrf1OFsKFXVFsdhXTRuCj0D5VTTCUOUaEc3Tng+0zQW meTOxwiP9jalLAHnO8sNIWfNwFQDEAnvBjHQiNNZdw8N3LsZhb+qMgphdZAhCWEk d4XcstOPq3mXYqqfE1/exzvnZcYOu4scywTa99VXMBGQBSZs4bVMRYiNtqGFmorf 6yaEDP0vNp40XagjoPx+gtveTvYbPVaZ8n680PVjR0OYHuRi5eaSGt2EO0RAnyZi f7GNZPDVZ8I0p8b9ZdM1CWrV5EHU7wRHr7jhZjM+K6Cz5zURypezMMZALZc/m50b CCR2mKjNR/YZZvHOPMQKz+fC7ijJp+y16mRvS5FnVaFPx3zjzlonJvYuDuEWJbS0 K9Ve+O/JHP2tY/kDjIJtjJ/QV5OmDgTr6cf4SJQSqo9o0JyPfTfV0EPbyQflWK+M zEbnLD0mE3Y+og+7x3osIC0d0huS8j0Ot9GpofcjOhgFYc7xFiA9s83tOawrwRKh hzcoAzNM3DVC1gyhOh/rCUdlon8ea+rOqJ6VTC5M68sOcF6DEjg= =isDH -----END PGP SIGNATURE-----