-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 05 Dec 2010 18:01:28 +0100 Source: gringo Binary: gringo clingo iclingo Architecture: source amd64 Version: 3.0.3-3 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: clingo - clasp on gringo gringo - lparse-compatible grounder for (disjunctive) logic programs iclingo - incremental clingo Closes: 605879 Changes: gringo (3.0.3-3) unstable; urgency=low . * Initial upload (Closes: #605879) Checksums-Sha1: b333bb18b655cc3c5af860d25e94e635956f8602 1152 gringo_3.0.3-3.dsc a2da1600697fc21b2350a6f88be6601006167e3b 537198 gringo_3.0.3.orig.tar.gz 1289e68c61bac1c973dfcf895acfc8acc9f21f28 5615 gringo_3.0.3-3.debian.tar.gz 98be7f502e44d632e8216b0b81ada25899cab841 347726 gringo_3.0.3-3_amd64.deb 657b17db3489500e175991db920e25e35ffb9840 603914 clingo_3.0.3-3_amd64.deb 8b59725e2b646d17b254a0d5bfb8ca60cdfd558b 607884 iclingo_3.0.3-3_amd64.deb Checksums-Sha256: 7b10591b67c00b5ab14aa66c6db4a93aa668b5ef41d08c1fc5e6d1c71bb47e34 1152 gringo_3.0.3-3.dsc 79e31fbfb1967496a0b3ce391caa86b931d7b74bb22fd822140c2ec0e320cab9 537198 gringo_3.0.3.orig.tar.gz 6176a66c51d259b0d0710b692d4f3f8f37d630cab50449798f0f8949eac8e533 5615 gringo_3.0.3-3.debian.tar.gz 5d10d65791a975d86bf9f9b2901370643e64e592514a50f422f2c812c5453998 347726 gringo_3.0.3-3_amd64.deb 6cf8bfd39aa3f780f093399ad82a25ec9b921a7ba771cb5aed4ddb0d8d378121 603914 clingo_3.0.3-3_amd64.deb 9033b77647927a4caa7451f083c794311bedb3f74ac504c84a63a4652c133766 607884 iclingo_3.0.3-3_amd64.deb Files: 0054ff0077c2a42ff345714f04888b33 1152 interpreters optional gringo_3.0.3-3.dsc e341db500c04379ef3ecc39932cc0816 537198 interpreters optional gringo_3.0.3.orig.tar.gz 3d8ec2c593a566e1f4037184459181ea 5615 interpreters optional gringo_3.0.3-3.debian.tar.gz f3edd67b1719cd6bcc5598b2c70b68db 347726 interpreters optional gringo_3.0.3-3_amd64.deb 5a6055a9a43a4bc01df4104e5142ce66 603914 interpreters optional clingo_3.0.3-3_amd64.deb d278729160d19570015036577d97139c 607884 interpreters optional iclingo_3.0.3-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkz9NK0ACgkQvx6dH3bVKsRHegCg2nhvkGi3WxDnE5Mp2hPa+810 yBsAn3sqfhkIYlzl2G4loQr0FEV4fYpM =JaCd -----END PGP SIGNATURE----- Accepted: clingo_3.0.3-3_amd64.deb to main/g/gringo/clingo_3.0.3-3_amd64.deb gringo_3.0.3-3.debian.tar.gz to main/g/gringo/gringo_3.0.3-3.debian.tar.gz gringo_3.0.3-3.dsc to main/g/gringo/gringo_3.0.3-3.dsc gringo_3.0.3-3_amd64.deb to main/g/gringo/gringo_3.0.3-3_amd64.deb gringo_3.0.3.orig.tar.gz to main/g/gringo/gringo_3.0.3.orig.tar.gz iclingo_3.0.3-3_amd64.deb to main/g/gringo/iclingo_3.0.3-3_amd64.deb
