-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 13 Jul 2015 09:01:56 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.1-1 Distribution: unstable Urgency: medium 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.5.1-1) unstable; urgency=medium . * Imported Upstream version 4.5.1 * Add reify.1 manpage Checksums-Sha1: 419fa908e094aeb6a0947b512af44276aea9f551 2053 gringo_4.5.1-1.dsc a126b16ff37319e8199858179dcf7e65c70c5f1d 1672650 gringo_4.5.1.orig.tar.gz 5ccb7d67bd7ab40551f2986294f732cd23ef9125 6440 gringo_4.5.1-1.debian.tar.xz 91a2764685658d06b344e93d0b22701d02cd6182 1849192 gringo_4.5.1-1_amd64.deb Checksums-Sha256: 55c85bbf9b1c10ab461d5a2e8d5162b74f436c262d47e326e573b76eda4ad3ef 2053 gringo_4.5.1-1.dsc 942be5977070859dc164347368248c1d22c451a55c2fd002081fa9abe0b5c50c 1672650 gringo_4.5.1.orig.tar.gz 553faf5491cc2eb957aad2041e1fd7ffb4b351a8f43f4be50616ff1e156441ba 6440 gringo_4.5.1-1.debian.tar.xz b007715d8a00199ab69ca8c9c9e11900d84d4fc259135616970e848eefafe587 1849192 gringo_4.5.1-1_amd64.deb Files: d551c70dfa720e247e4552b1876e26bf 2053 interpreters extra gringo_4.5.1-1.dsc aeed6257cc1555cd5ceaddc3eda2319d 1672650 interpreters extra gringo_4.5.1.orig.tar.gz 6a2e48cd5a9208beb30a269b208b0740 6440 interpreters extra gringo_4.5.1-1.debian.tar.xz 682e60045fffc6f99569847f1be091dc 1849192 interpreters extra gringo_4.5.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVo2UmAAoJECeX33SmZpqp8MMP/3k383nETb/QbJLjnDuZNkNI 4G8fXQCxb4K1Gn8aO3OvCdyHmFiLIAYW4KlttYyuavthiUTh1okZxbHN+dZYzvW8 MMdG9HOG2NjKeShsRZC9xhJyle+OMVUJrlEyYx3Ev1mSN72Mi9bcoa9736KiIdp3 Vx3fon0sfJOwIETRNUyxJF/SyuII/tDwjE7H9SvqjgNrSG7OKSbNEfoOC9OlkjKo AQ7ZIki1CSj08c/LF+pgLyTfS2/0kyvMYoEPxHL68QTYMivMY1EuyXr+0uR9S+b8 2ap0Ll+tyfb+1N3/4vnpWY1eH7wHIRj0LWYGvVkG3UW1vtrRtbXodCTS3j6eKKp7 1iaRYkqWh9tU9QWFEAbU1wsX86Af6C3vMSbqIWfWYqUvRotYx5vaK7ea5v7Q08eq 3tneuamUIYSQnenbe+E1EItnd/YwX7KrIfs9pDFz663k/rMAGIeEu++HR8MkUYv8 C9EQdLzr3FEYm/WET3WXxzR4pfPhpTHwfW2QindWhwCUzgcCWT7pNITIgqTvog0i XTR2rO/BdX0uAKszWLTyHxnfiZMXHywidTfipxVnHzI2omdvn7i9DMjn8FUYYDpC KdUPh9TUV9EzvjzQuSSkoVeg4L0uJkyzenfCQKExvBCJNT6rACwwyB7kuuIsxsIH 4SnuoRwoNtObitiR/61R =k59Z -----END PGP SIGNATURE-----