-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 02 May 2016 07:18:34 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.4-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (4.5.4-3) unstable; urgency=medium
.
* Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures
that have WITH_THREAD=0, i.e., all architectures except amd64 and
ppc64.
Checksums-Sha1:
fafe7788e2aa23680a2bdd05aac423cf19f2a42e 2056 gringo_4.5.4-3.dsc
4c30ccc1da99c5a8b78a53828445c74353d51ddb 10540 gringo_4.5.4-3.debian.tar.xz
5d0e2dda09f2b868f2f9699399faea41bd822de0 28247294
gringo-dbgsym_4.5.4-3_amd64.deb
ea5519f1142efc64a8f3513a34144ffbe0cb2f20 1839660 gringo_4.5.4-3_amd64.deb
Checksums-Sha256:
db4c1ad89a74db3de4e55bc5846b7a7a9b47ecea132596fdb847e1fa6b7e38df 2056
gringo_4.5.4-3.dsc
00c7d229ceff71926445fc3973ce3a36d61ba64f93729727611b388b2aa9ed7b 10540
gringo_4.5.4-3.debian.tar.xz
d1197fe1817ab930ee8593cc4cc08136ba679e713780932da67d57c2afcc4dfd 28247294
gringo-dbgsym_4.5.4-3_amd64.deb
02af360aa8f4070e53de9756b5b4e1c2e3dd8d51b6ac2893d3eb0370593bc753 1839660
gringo_4.5.4-3_amd64.deb
Files:
23262fad35e038fcba95e0c9bf343f2e 2056 interpreters extra gringo_4.5.4-3.dsc
b026d6d869e4908bd742a48893de46bf 10540 interpreters extra
gringo_4.5.4-3.debian.tar.xz
0f2c31af25d1239fa9588c2af1a30baa 28247294 debug extra
gringo-dbgsym_4.5.4-3_amd64.deb
68e59de907a52b4a01c0e62c4320ed5d 1839660 interpreters extra
gringo_4.5.4-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXJupjAAoJECeX33SmZpqpyCQP/jrX6wJlnUYq8M41wmVLoV+N
ytAby3fU+L3+V1E2uuVU2fF4AwOiwFXlMdUjzKKvKEKauyMS5a1EFEHD1ep41e/r
jvLk1zbJvgyLYl0kipmpTLpqeZMI7aypCZmZw4iqL3IHqxQKFKVqwbpQMi+haLNa
C6ni3ROM5sat/igX4ePGKgfSDYrk6/dg12ka4XWegSXgk5OGr0D737vyFEZ3QWQS
x4x6dZRyXKJhjzztINyYfRwEQxdhz+sFL1BdhJhoEug8H4jo0slG3XrxZjgtmQaW
/16CO4IKKJHZWCQQbUp6cVP9dUFTOrm5KpPv5ctmhSfPDHtTJ2VNq0XHJDtNFJbK
Jj2oIUiIU4SpBROV6qI0GTDkxc92vEnp8Uwxa7OSep7QteZliGDJABh/vZUG+r1X
7tQdofL42w+lvx87TmhMPSCSQ+J197FTC8IxTEOW3C2f8649Z1QvnraoP7+FX+U5
wrzuKN4ghl9QRpfolPErLv9S7n8Lle0NXLbEQF6fmf3NDquGc2AL3NrpOXuuPUVz
TBo8m9Akxm3vx1wa65sof7lclaw8tr7NXg7ZTcIciwclPXNXs7eJ1ti4O8d5zVW+
c229UNm+nrWDDSaUyakZJUxSTbXguTJDdIJU362v+IdyvnLg0N7yBOgHwAfrQtV8
rGlNLZ+wHpyKstj9+0yW
=1GdP
-----END PGP SIGNATURE-----
