-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 18 Dec 2013 09:42:59 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.2.1-3
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
Changes:
gringo (4.2.1-3) unstable; urgency=low
.
* debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with
upstream.
Remove spurious Build-Depends on libboost-filesystem-dev and
libboost-system-dev.
Checksums-Sha1:
50720cfab2e44c5dd2b9e36e0d9940f269ecb2d4 2050 gringo_4.2.1-3.dsc
f79f863b91a7d3860aa10e24f1bf7d8f7f464e94 8752 gringo_4.2.1-3.debian.tar.gz
ba5427a3845b9f8b94060f4f352170af460f566f 908428 gringo_4.2.1-3_amd64.deb
Checksums-Sha256:
2b44ec8343cd7dcfc55e0b944109745418a363381dd55191e86c839be19eb076 2050 gringo_4.2.1-3.dsc
118457d8120d41762429e63a1bd8215ad165b6e0012fc949d6faaaf003ae7067 8752 gringo_4.2.1-3.debian.tar.gz
d8a028eff07ca07637f6b011abf8cad78f65fb95ece77b4e3168d92aa0935acc 908428 gringo_4.2.1-3_amd64.deb
Files:
e3f94dd01e276e222085df5fed7ddf0c 2050 interpreters extra gringo_4.2.1-3.dsc
f3af7de9e4c82ff1dbe1d0642f31a71c 8752 interpreters extra gringo_4.2.1-3.debian.tar.gz
935cccf1f90ad450ebfe6b185ebaa859 908428 interpreters extra gringo_4.2.1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJSsXAFAAoJECeX33SmZpqpZV4P/iHeX1WZ8sAmFi6ecDXsIckU
GvflLSzCeiJA4h8vOwjpTuPk7aR6R4e2hts7xTDAdi403sWg8JyfDD6iUlHvGQqS
9G9/+my0AtItan32iX63kuWX/H1Px/ZUJZArWTBycE64CUVt2PTXM+oQ995hv7E0
NitrOwnmGX3dBCCtRdDGcX8xsplUE+mscao5OFVKfGlIz5RJPxxq9hZGE7WyCZ26
qvGsK8sdp64wMYJzFrTeRADTHyUVxxlbgiYIu49N68Q08T/iuf7iP2wf9FISO2/i
g0eH+kxNgjDducRaF68Q/VSTtU/ZewAGxzg1452TCH8JS34MLl9wpRIZmz/N00I5
dcEpeN6m5Q9fSXBpM1e/hzDbgOxT8bqPlx76WsId1XvHu0zOwyQCmMrV+1Q4ydLL
mkxbNzuTtFPl7+alsGpUvRPWbsP+GZ29TC87Yd9454tF5/LEqTh2AEwg0eu5jdni
vv96UdXsSe9kq1NYE2NiYxbDcQbfKxk1nqfqZCU7slamJydqMlvshoXw3QRkKgVN
U5xIvgZY13oCRdf3guaUUv+m21AyBc9HCgCyyS0Zu0+kQMrimJPgCjwmiGSMhEN2
C5eYkOK1x3WyfListL0+x3rT8cRltUhUTRWf0tt6eRzTjpZvvj2hoCsLj4sisZ41
ExWJWlV/yiAWCK+HIEIY
=arPm
-----END PGP SIGNATURE-----
