Accepted gringo 3.0.3-3 (source amd64)

[Thomas Krennwallner <tkren@kr.tuwien.ac.at>]

-----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