Accepted gringo 5.1.0-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 15 Dec 2016 06:49:16 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.1.0-2
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.1.0-2) unstable; urgency=medium
.
* debian/rules: fix C++11 threads
- link with libatomic on architectures that need it
- disable threads and define BROKEN_STD_EXCEPTION_PTR on armel
* gringo-broken-std-exception_ptr.patch: add support for armel
Checksums-Sha1:
612b62d85bb38bf5bbe5a7445a9a4b368c64659f 2023 gringo_5.1.0-2.dsc
7f75e8940903dc3109c6c9e70d4ceed6a5695a1c 13216 gringo_5.1.0-2.debian.tar.xz
73fdf45bf5f52d629bd24f0a82c7dab9e35a9df0 36049844 gringo-dbgsym_5.1.0-2_amd64.deb
6716501911cee41f2c1fe8093d5566c238945730 5746 gringo_5.1.0-2_amd64.buildinfo
60cc7c97abe3b8775b0c84a5f14b57ebdfe4413f 2358098 gringo_5.1.0-2_amd64.deb
Checksums-Sha256:
b8a9ca25918764cb710d60f22a36081551395db7d65cb09acf5f207d9b7e6de9 2023 gringo_5.1.0-2.dsc
5e85f5c8c33bcc58991c78f8f34012d3436e9974e591cb9d5812fe10bcccfa04 13216 gringo_5.1.0-2.debian.tar.xz
539582b1b2b0cd97dc5c02acbd9b60a31acf4e65af630223b2f23375ade8b284 36049844 gringo-dbgsym_5.1.0-2_amd64.deb
3a99fe308657d302ba8794e926dc3d148870b9fb3678652f500bf3ee58d830e2 5746 gringo_5.1.0-2_amd64.buildinfo
c801452908ad8a37eae2b9be78aa195e3c8de8a7df0069dad5b2c0fffde8a7f9 2358098 gringo_5.1.0-2_amd64.deb
Files:
f81a33671ab0520d04f01d5c0e1c3ace 2023 interpreters extra gringo_5.1.0-2.dsc
e3229c23e1e62f86cf837c64fdd6c7f7 13216 interpreters extra gringo_5.1.0-2.debian.tar.xz
a96205c21502c4c646639ecd548a5a0e 36049844 debug extra gringo-dbgsym_5.1.0-2_amd64.deb
bad727d933cb1548bd4c4271d54a5d6a 5746 interpreters extra gringo_5.1.0-2_amd64.buildinfo
a75fb2cb9a743460429186a7bc95f00d 2358098 interpreters extra gringo_5.1.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhSP3EACgkQJ5ffdKZm
mqmJUQ//VbI/4p5nxjmOzxujNMhy0j+yhDXwufWj3/gHL9vthCf0/GeU/ACaoXBs
OM1eGwPvHd58Jw5kc+PGdGr667CpEWok2txbVoyfAZUOMeccv/ciDSPCEbDrNJ8k
o2NPvVIXFLrox0MHoIDvzDEF7CAyQBNzgW6RqtnKwyeo5WCdrNZc43ejGu3KRNx2
IEgD0C7Yp7MSxa3colJQxzRHHxXZf0Uvtq7wSn/4yVPUE6TzEeq2OaKeAYHYMxFQ
X1Bk7Go6oTL+FK1j3FNbVeEVo2tFQilzeZJo5gO4hejnjUjS9b92N2lKpOySuvbO
NGgZnZr5MZsBzddTyygzqtbIsxifZ/E8wR8LxQRXwsCVGXo3dFICx3xnHfh0OW5S
Ov+4oVe0/Ow1C69UYEs9YWHNpdtLc7LWyzRYZHw0RNqauKMJrqMcLrgIKcZUmA/w
xxKo1k1dFRgjIIiDzv0gSgrIn9qbGJmKaJShg8UEXvYB7Yfp16LkEhbOwt93FSEz
kqjvMh0seFx4uHTpR/YBHeBoQBFEUmEDpBWaWorCt4ifXy5QVcb4gQQWQhDuRRlq
wjl/JfwFhRYJo5Lne4VBy8oDNeEPK9gXIkSVq4gqZeKxD2avQOgvoWlBEA55lflR
WcPLsMNVDamGBXsH27PkYQFnahS7gscn3V5Lla1v7celxlyiWwU=
=1IZ4
-----END PGP SIGNATURE-----