-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 3.0.5-1b1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Homepage: http://potassco.sourceforge.net/
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/gringo.git
Vcs-Git: git://git.debian.org/git/debian-science/packages/gringo.git
Build-Depends: debhelper (>= 9), cmake, re2c, libboost-filesystem-dev, libboost-system-dev, liblua5.1-dev
Package-List: 
 gringo deb interpreters extra
Checksums-Sha1: 
 630e6028ae4ae5752dc8e550614298e61725a5da 542948 gringo_3.0.5.orig.tar.gz
 3764497d53c624cc7346905230e7cf47954a4e96 7711 gringo_3.0.5-1b1.debian.tar.gz
Checksums-Sha256: 
 39e51af2d6bc93aacedd7dcae8f72fc18ddcdaa659016cd04e39b5c2fdd3c439 542948 gringo_3.0.5.orig.tar.gz
 dfb772a352d7ac41bc42ed4a97cca37cfb94bf226b2fcaa2dc12bc689e1426df 7711 gringo_3.0.5-1b1.debian.tar.gz
Files: 
 ab476557e652a9e5dbc5cf6b988f8d36 542948 gringo_3.0.5.orig.tar.gz
 34d4b562d30c6f5c44bf707b23940242 7711 gringo_3.0.5-1b1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJS3fIFAAoJEIxPDyvAFXjJfIoP/1kRzqu/gB2eKT6fvx9mPRWf
wVr2bc+56Mc8uOcl8xYPb2FaH6Jil9Gc8XgNpWssln1u2/qaS7nadVStOgQzRjSF
oWYgnt7ff9c6I868MpJVpDy28F/ilJ3yC62v98dfmkpEXVses4aZDomFp67t94eY
Awyb5Jv+3c6XtXCvxpSg+XoGOtlrgpOu+n8JR4eXunRipa492FJpHeLBmzAAsk9q
LyVDAxKi2dKPR/NjUOV3yFP/oG57LELlMFdXyc/FF06qjHCAxIFh+6yE8vNahaXM
ghqfb+SaIzafby4bO1jpQj69ADEQ436eXrh0xdKFQZYIO65b+gr05jXpG70+G5Rx
eeDbF4Gwny0gOqAbJzv2C4Znzod2y5wiR4zIzDz6sI5SFl0NYL3BGKZ3fqJ+3EzJ
yMZNNXx06zzce6PIAd1jYFC/wgCjxclZUiaYAwlGkW+NNGoFfzsuKc1SkCHnRjEA
sCJvO9vC23V3iCXJ1ASUzqTD/GYQGC5sGrLuU+8y5iD+dAqP/6bzFe9WrBhODpUG
pgidE0Bjco4OZN7iAILyWC3C1IGWkDOpHWzC/+4wAhF3b+wa12O7aNjKnEh9zPFN
UT9txZyHp3c2On1V4hkbpEzk/i8sXFKb7x1saoLX23c3WApX6EBeHIcoOX4UTu/5
WzUa/ShJ7jaSirsUQ/GM
=VJTH
-----END PGP SIGNATURE-----