Accepted gringo 5.2.1-3 (source amd64) into unstable
-----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-----