-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 21 May 2013 19:04:24 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.5-1
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 (3.0.5-1) unstable; urgency=low
.
* New upstream release.
* debian/copyright: Update copyright years.
* debian/compat: Bump to version 9.
* debian/control:
- Remove DM-Upload-Allowed.
- Build-Depends on debhelper >= 9.
* debian/watch: Only watch upstream gringo >= 3.
* debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch
debian/patches/gringo-domain-fwd-decl.patch
debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove
already applied patches.
Checksums-Sha1:
f50c720383f9b4ee5c05f59bbaabb0e9d9c95611 2006 gringo_3.0.5-1.dsc
630e6028ae4ae5752dc8e550614298e61725a5da 542948 gringo_3.0.5.orig.tar.gz
94290a616f77620a45185cdb32fa411729f3d444 7666 gringo_3.0.5-1.debian.tar.gz
5081cbc7eda852adf97dd7ce67ce26c82dcfe7e8 1563470 gringo_3.0.5-1_amd64.deb
Checksums-Sha256:
906a64f0e22eeac8af17393c525c4e48e5ad46482b3b3286fb40c57727c4d49f 2006 gringo_3.0.5-1.dsc
39e51af2d6bc93aacedd7dcae8f72fc18ddcdaa659016cd04e39b5c2fdd3c439 542948 gringo_3.0.5.orig.tar.gz
17b9fe7f17d235ef904fcbf020d55c6f1ce9a2f40daf41183126a56fe2d18445 7666 gringo_3.0.5-1.debian.tar.gz
66c8b761c0385ab98803d866d01a13fd30d976fd434ed07b0783bc078c1d34ab 1563470 gringo_3.0.5-1_amd64.deb
Files:
081ddfdbd51dc83f5fbbbee299ef62dd 2006 interpreters extra gringo_3.0.5-1.dsc
ab476557e652a9e5dbc5cf6b988f8d36 542948 interpreters extra gringo_3.0.5.orig.tar.gz
6ec7e39e0c116b555d9825abe0cf06c4 7666 interpreters extra gringo_3.0.5-1.debian.tar.gz
7ea2e052f95cbc3b41c700c9b2ac721e 1563470 interpreters extra gringo_3.0.5-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJRm6oBAAoJECeX33SmZpqpC2cP/jrF5ygb91ppM5tSSEI7akXm
h8yO8UOgcHN6XwGwN0xx1p9/G57zKrD9yGB6WWqU77mbNaGy9ZxjzjuRzpkhv29r
XqbcsGkTd181GKHzDsDPxD3stAIN8bbhQhPzuP6zRjYUfwDYP3M2QvAIk+7OKtWk
zJSLeqlcQJ57WxKOoX79FTLqYMyZu76CPs13VN35gYlBTyTONIVqZhLmcnb5q69J
t/sR69W2FRh7Tn67Vt/8pXcuBK8FM1Xc8+NcWqRfO+Fge4xj3oWv6NfAVq/nyw82
WFx2SB7gD2FcOm0dmWNKs4htF9qKXET5mgnknMnRAA/1Zsa6fAUbLLg/yDwWvT8E
VGt9Iy7A8U8x/uFvKMq3oMHzoPd0RPJdkC9WPcms9l4ju/+VPwOv/VmSimlGz2XE
uMis/Qd12Bjeoe8UQ54onm3237hOxr22b0fgIl8Toz3PYnUOvCzy0ZOTP4ZEoD3N
BdrjTt5Azh3mFM6IpX1t2v6y7Jujh22w2ahQDLGPusyU0bTr5qucYcqPlU8DLgWQ
tRINjIZS2JwdsAjb6fd0wgr5KnVD9JzVm/ZxJ3yBQJj6/qDW/Y1rZp0BvCWt0gPN
ktdP/j94ajECXI8Wl/V+EFLnTuYFWZQwSKkJpws4S/CcW3Blv2enLjjWRWiTNZOq
rlCfQadLFHyLor4EFpYs
=jToQ
-----END PGP SIGNATURE-----
