-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 3.0.4-3
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Dm-Upload-Allowed: yes
Homepage: http://potassco.sourceforge.net/
Standards-Version: 3.9.3
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 (>= 8.0.0), cmake, re2c, libboost-filesystem-dev, libboost-system-dev, liblua5.1-dev
Package-List: 
 gringo deb interpreters extra
Checksums-Sha1: 
 a9057c602126f39fdf691336147987f2cef864e0 539520 gringo_3.0.4.orig.tar.gz
 a1ddee985feae64d1236668552a35723d851e23a 9079 gringo_3.0.4-3.debian.tar.gz
Checksums-Sha256: 
 493c6107a15f9b8dd9eccfef8ccbd9477d7d5aee1c8e6780957b165b8e2b45df 539520 gringo_3.0.4.orig.tar.gz
 868f949435ff19feb00a3d31098256fdc1aceb7caec360a00b655910dbfccce9 9079 gringo_3.0.4-3.debian.tar.gz
Files: 
 3f2419d592a4dc5d1200cd94f3fac821 539520 gringo_3.0.4.orig.tar.gz
 f3dd7f8eb3d5a225e756e3c364e22a1d 9079 gringo_3.0.4-3.debian.tar.gz

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

iQIcBAEBCAAGBQJPvOo0AAoJECeX33SmZpqpISQP/108h8ntdUH5SxLTQAgQVnUj
ABreln9va5xbTBPeUZ5+TtxG8tqCm4fy/PCUqa7dSCZe2WMbaAJ7nPlumwoRsv5L
kQpDBsYVQ37w6cZILcpTNTtxRec1/84+NFk6Y3NhaCFs100LfAKwGU0Lp5vDO7Qu
WrUf8gWDhrMo9qubyC7ooUz8qWI+eIOp5Qj4uljf0tkpYJkH/V5ClnTteDTEaW/6
nDLQcQLlw4Rs1ZLRPqo79fiiryrKgQZb5tS/LovZHHhTI7Ah1SENr0k3JsLAwYvg
UAdKthu4zOrg0/W8qGaNE60MKc2NRNNxFTWeiF2+PlOij3X/c7t9kJuNZSRz7vRD
O/fozLbu3jiRxog91UyHIWp9Fw9swvTvlBXTIjI+tPBq01/r7qWj3k15RobeWc+H
dF6aJKoWPqZ0XgwmgkvReEUtnnQxIYV35x2IleSho+TfAm8r/zHAghDvWjrCirYB
vWimJWawAi0nUAWIBt81wH4yfes8UiPjVdatuILjXC0+8KxNvaev04S9xQ0MI7Wd
v39TbH7JstlOp0tmQwD5jyQ9Su0SOnd1cFj9YFbyW5eO1/jhyIwUwmQl0smztbbK
LADcXnpcToiBLQgyP1sKS+nvx/XZHLpz/C1xcFP5my9haKmwMwMlV9h9SlttS74L
IWPJSa+ZNsn50+JCtf+M
=oKMc
-----END PGP SIGNATURE-----
