Accepted gringo 3.0.4-1 (source amd64)

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

Format: 1.8
Date: Thu, 26 Jan 2012 14:59:59 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.4-1
Distribution: unstable
Urgency: low
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 (3.0.4-1) unstable; urgency=low
 .
   * New upstream release.
Checksums-Sha1: 
 f9900c946ab8fd71fde15fc17ff7f0ff5929af9e 2041 gringo_3.0.4-1.dsc
 a9057c602126f39fdf691336147987f2cef864e0 539520 gringo_3.0.4.orig.tar.gz
 f382af2bed6e2f781b7ddc27d3da80abd302e744 7360 gringo_3.0.4-1.debian.tar.gz
 d76e54e2252bcb668968debb95b307dbaf75e9c3 1583918 gringo_3.0.4-1_amd64.deb
Checksums-Sha256: 
 5ae1f76c2b2c67a8b5463a89a7cc5e81465d7ab4b4d10765b2d0151e41a013a8 2041 gringo_3.0.4-1.dsc
 493c6107a15f9b8dd9eccfef8ccbd9477d7d5aee1c8e6780957b165b8e2b45df 539520 gringo_3.0.4.orig.tar.gz
 ae3992c6a0b9bc7f809d2983b32f60f1b600a59879000f2d7f57cc46cafabcda 7360 gringo_3.0.4-1.debian.tar.gz
 a0b0a145239b5a586e94d83f68e44a85c1385d4bea70f057fc5fb3828576db4e 1583918 gringo_3.0.4-1_amd64.deb
Files: 
 146f3e45d3651096cec7631d2040877b 2041 interpreters extra gringo_3.0.4-1.dsc
 3f2419d592a4dc5d1200cd94f3fac821 539520 interpreters extra gringo_3.0.4.orig.tar.gz
 b7466aa15d6a34f2f8289c626cb397c8 7360 interpreters extra gringo_3.0.4-1.debian.tar.gz
 a6a4ffa061eac34efc3887b268852e74 1583918 interpreters extra gringo_3.0.4-1_amd64.deb

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

iQIcBAEBCAAGBQJPIV5PAAoJECeX33SmZpqpXdUP/AyOW/IQi84gRvKBqH4TE4hm
IH/FrRjgULkKeBLZtFqglrqLb6rvCtFsH7DYfrengCe3lkwNYDemlj79RyB5lcrV
DLaEQViaBeo65C3uZBfn/n6WjifqiLtnDNpwZ/1eDjsbrKMN9XB7YRvJxNyVoQbw
sJdzOy5tyDD5uwNn9W+KnoNO1vUlHq26XLtlFK4HFCylxEh49tYy7q+OekmTknAP
il4L6HdqawrXnOAGqYAOAFEC7nUZ5HOgFY388PVGGh9yYdrUaK84p3o0UVvCQg6S
s45Oe/rBj3GOwWpqPNNYw1FARM50HJqazZxvfA9ffAu+u6AKWqXg0SZIJOKQ30e7
DUI0lGWdOLWuSOow5UJVJLuCFPCdm0nfvtZbttdUznmpONbZ108mFVtX1ntLM7nL
861I0VKGbNajweGABSBfczbpBN2aOMcJHHjEkWhol0gGG0OiwMob8RoqcsJIayen
KH4KCLAzS3uM646ULL6iriw7V8GoZUuOZNHHNQ99Bt4xnDQ0JfnmPe99Az54DMCQ
HyWxqOejSO1VsfdzHAyF/YwxfDMrushFpXEHdR2Mpja9RmqX9Oo1M4YphCe9wEs+
M6hLN6TBdvfRiQ3izeSZaECitOFvGSi+clgmzNtCxbxtycwh7LObc2lcEx3lBPUe
Dm55oVzwMKjeNbvy0vI7
=gyVr
-----END PGP SIGNATURE-----


Accepted:
gringo_3.0.4-1.debian.tar.gz
  to main/g/gringo/gringo_3.0.4-1.debian.tar.gz
gringo_3.0.4-1.dsc
  to main/g/gringo/gringo_3.0.4-1.dsc
gringo_3.0.4-1_amd64.deb
  to main/g/gringo/gringo_3.0.4-1_amd64.deb
gringo_3.0.4.orig.tar.gz
  to main/g/gringo/gringo_3.0.4.orig.tar.gz