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
Reply to: