Accepted gringo 5.1.0-4 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Dec 2016 05:10:36 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.1.0-4
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-4) unstable; urgency=medium
.
* fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
_FPU_GETCW and friends are undefined on this arch
Checksums-Sha1:
950bbdbd48973f3bb783712095ca76ffc2cea588 2023 gringo_5.1.0-4.dsc
4a5a9fb8b48cc6080374a9fafde8c3cf645bdc05 13544 gringo_5.1.0-4.debian.tar.xz
e4a0f6cb886fbcbca224c5b9e22af8288d6974db 36037938 gringo-dbgsym_5.1.0-4_amd64.deb
fb83ef00af83853d82c684f43b859679b02ebc2e 5712 gringo_5.1.0-4_amd64.buildinfo
fcaa12d2c4af76f4519cf8fc279204b594492d2e 2357330 gringo_5.1.0-4_amd64.deb
Checksums-Sha256:
93447246b63ff1595b91c49526d84add3734290d79147566c3408fadd92265ad 2023 gringo_5.1.0-4.dsc
fa638cca967fe08fedcdae60165b980c9515325542fd5ac802290ffb5958f02c 13544 gringo_5.1.0-4.debian.tar.xz
1a95aa7f505557b622c89920a5f356b6b2829812bfabe93bc856efd5d50777c1 36037938 gringo-dbgsym_5.1.0-4_amd64.deb
e5da9090b62abd849502ec53f2372922c4720236908adbc2246dd8d58fa98c45 5712 gringo_5.1.0-4_amd64.buildinfo
70add6f0ba3713997983f341273aa53e79aaf9cf7978e1a2a61e300339e355a2 2357330 gringo_5.1.0-4_amd64.deb
Files:
6c21216fbb09e5ce5b6f3e6ea1ee6a5c 2023 interpreters extra gringo_5.1.0-4.dsc
f678b8e1001f91ab292e3a2b0c824a56 13544 interpreters extra gringo_5.1.0-4.debian.tar.xz
6e30bbc7838b3e14a3d6f4af768b868f 36037938 debug extra gringo-dbgsym_5.1.0-4_amd64.deb
0975b3daef186c40ddc8a7b9a37245b6 5712 interpreters extra gringo_5.1.0-4_amd64.buildinfo
f459f63dafbae8c1c16b65d8c5ee445f 2357330 interpreters extra gringo_5.1.0-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhYyZYACgkQJ5ffdKZm
mqmyWw/7BwOqXvPxH2+5u/cud/LN1TZp7gKjHrZEnzhimJsCYRndjDPbMiOO2wgV
h6U0i9X9516eJcPZJI6gFwwedbjHheFKnOzoz+y3aGtefPVm8yXRpDUur9FjgP5J
QvIlw+A9M7sPvc+gVV3jcaCcs3N3CCiW+mMxGBXVbQA4dLMvga081PzGN3NPR+yo
BGkJvcFLIjsSlLro/RF1C45s6XK/E4MBcPey2GhxxGWwQ/GZhCag+UpwjG3HPmgu
4MaO8yWpOUGhZq/PQt4yDO7Csj8CRzvB8XRb3tjshHdWRWeZWfliEAerh6Nw2Lqf
YVBf19S5o+zR8vfcdLpPGNQ+KRB/f5ClNobwDNnl5c3CbpggNBbc5CMn170DWbpS
1luPT8C+q/mo9v+32RVjfrYPiuCMal3l5iP+yYNsD1sZw5l7qF/lNyn0usUuhrMU
U4c9ab5AyJIXJP/rF3yhQiyiCseqcc3kv25FslRxvFngyhBT4p06mYLAdSsNHOl7
qCqNZjBVJvclp16B4r6qIjt5Oj2wrFB1MdBGPy/c58xKNO8X+cJPuhep0b7WQjUH
sNpkOjJDFrfxxmaXtlqO9NAvvUvf5mwA00Yl5hLQSw5SY4H70fqqURHaeBwyEwRu
9Jty1EFnuPkBe0Ja7OL5HUPOmURTCwxkhUOMmtgG1XKe3BPNa4o=
=4fD4
-----END PGP SIGNATURE-----