-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: gringo Binary: gringo Architecture: any Version: 3.0.3-4 Maintainer: Thomas Krennwallner Homepage: http://potassco.sourceforge.net/ Standards-Version: 3.9.1 Vcs-Bzr: https://code.launchpad.net/~tkren/+junk/asp/gringo Build-Depends: debhelper (>= 7.0.50~), cmake, libboost-filesystem-dev, libboost-system-dev, liblua5.1-dev Checksums-Sha1: a2da1600697fc21b2350a6f88be6601006167e3b 537198 gringo_3.0.3.orig.tar.gz ac422aaf3732e919624fbd4701323de1041c9db6 7154 gringo_3.0.3-4.debian.tar.gz Checksums-Sha256: 79e31fbfb1967496a0b3ce391caa86b931d7b74bb22fd822140c2ec0e320cab9 537198 gringo_3.0.3.orig.tar.gz 7109a0aaa02bccf645725d346a8bec894de1869ee2b63bf5c1a52706db6ff81e 7154 gringo_3.0.3-4.debian.tar.gz Files: e341db500c04379ef3ecc39932cc0816 537198 gringo_3.0.3.orig.tar.gz 7c864d99ca5e291b38abb5c20c58269a 7154 gringo_3.0.3-4.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk15I6YACgkQvx6dH3bVKsR3owCgkpnBvO8Ux74eYOWMH2bnSQIu zgUAn3YvezAiaXiq/CQ4P+8xvksIzDpg =xvRS -----END PGP SIGNATURE-----