Accepted gringo 4.2.1-4 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 12 Jan 2014 19:22:44 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.2.1-4
Distribution: unstable
Urgency: low
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
Closes: 735005
Changes:
gringo (4.2.1-4) unstable; urgency=low
.
* Bug fix: "add ppc64el to architecture list for libtbb-dev to fix
FTBFS", thanks to Logan Rosen (Closes: #735005).
Checksums-Sha1:
e1a292a63d0986fc7653c8060b525ab66e45380f 2041 gringo_4.2.1-4.dsc
b1cd35c3ee187938644539d602318348f6bd323d 8893 gringo_4.2.1-4.debian.tar.gz
76acd742eecb26bdb49587a80ca205609b3e588f 908470 gringo_4.2.1-4_amd64.deb
Checksums-Sha256:
d066ff00c66ca4f7e1c088f1519082c0af9e7164a354378a30059b97eb8edbb1 2041 gringo_4.2.1-4.dsc
3d75b50e1024c77d5005b169cee1cb4cc8b5436b76e95db1c2a0b6a5d6b1dfb6 8893 gringo_4.2.1-4.debian.tar.gz
106d1840dc1ae305a8eb9d478fcecb23a5379e76464594ddf2a540c7b56fcac3 908470 gringo_4.2.1-4_amd64.deb
Files:
02aab3448d0cd5d43fa59a7d7603ed82 2041 interpreters extra gringo_4.2.1-4.dsc
1ff27d0fe2b302a37aeae477c1ee6308 8893 interpreters extra gringo_4.2.1-4.debian.tar.gz
58800c4f12b93b165e596c32fe232296 908470 interpreters extra gringo_4.2.1-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJS0uF7AAoJECeX33SmZpqp4dYP/3tkRk3mEa7kg6p4loJXgc5I
bj9KWGT9/HWWiZ9E3jnds33cOsJUjTM4EuOaW4l7gaEJPUsLRVb2Bob7KF4vQd2e
BLxN7CxVTvOwjqFh1mYa2EsFVlYIlG/ECIzTcTtR1RdoMGUpo5yqljPcR2d8gP9t
hAsoPjmuoXO/fqoEsXlt/m4dsk75jF0GI3iFtyCIicscU5czFyfir7H0yeZrRyIq
g0lMVqN1nZqaQedzGUJWnpNm4x0y1saSX43w3Odv6NOj++940SqvEXzFsxF8JMA4
RUa4jZ8yM6AbVVMcoQ+UPv5U9rQwFxwYx0x1rNIOB4Mlt2ZULHbaq+zSI/Oadm6w
wxTXs1sUV9b4CHJVu8+lLd9BfCU/8Jh7bUzuLZbhSa+Va45zHyyxksMAk7DIH9+p
FHwtAxEXhh/2isbP9IMaMeGdGOGsEcJ8DBUyooZI/azvruHbsv65qn+5XnFfc8gy
aWdq0RewRi3NJrajdl0q13oCESp47LtaBWp6ICGg2sl5SG4fka5z72R0aZ+Tiho9
tKrNVarUbwIDFvJ0JYku28a2+wRGrUimokerLI77CZpO2mMO3JgrWO+Ob2biX8P+
gqVsfNRh8OThaJ6Is/mFALB9mqVTaG+8plzqDAl2xBqR/y8DLfiBcT4+3U/tQaR/
hB9TkH6Dw9fo4G/QxluN
=swba
-----END PGP SIGNATURE-----