Accepted gringo 3.0.4-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 10 Apr 2012 16:48:52 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.4-2
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
Closes: 667193
Changes:
gringo (3.0.4-2) unstable; urgency=low
.
* debian/patches/gringo-clang-gcc.patch: New file originally from
https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff.
* Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes:
#667193).
* debian/control: Bump Standards-Version to 3.9.3.
Checksums-Sha1:
6bd765fad4549c517304ec608244b7937f92d0e2 2041 gringo_3.0.4-2.dsc
3bfd4816ea944b09efdf9e6e93383753b99ead85 8990 gringo_3.0.4-2.debian.tar.gz
b3bb4989025e76ba0c010e95409990f21c23969d 1569392 gringo_3.0.4-2_amd64.deb
Checksums-Sha256:
796910eec9cc6755203b57410884281a6965405f7fa14b1eda037a6aa2c18c55 2041 gringo_3.0.4-2.dsc
16f91ce5c9f0dacae0b1866c2b815bd7a77578d55f1f042535cc06c2c7b54b01 8990 gringo_3.0.4-2.debian.tar.gz
f0f6d6825fef95290e4ccce2ea1bb494a84c0694ad84ab4bc7fa935598b24aaf 1569392 gringo_3.0.4-2_amd64.deb
Files:
ef49cdb1a48ecd6e5f96e0cf42adce25 2041 interpreters extra gringo_3.0.4-2.dsc
7b6af118fe2f97dee20e393991f26ce2 8990 interpreters extra gringo_3.0.4-2.debian.tar.gz
d4aa389506753d1415b80536bb14ea6d 1569392 interpreters extra gringo_3.0.4-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPhEkzAAoJECeX33SmZpqpkCoP/R6uayy6IVGkWhencBLxpaqy
b7TWyun9HaIvyOLWT1kGKSjiguV9E/yOGzEOfE3rGVKKvyol18qaK2PCH9WZpHvY
T0ud2ghbe6NHIyevoMLEESuoKVjNgd2KB4c16UjQHjCwm9gL+PwnTfjwBbnT9x2q
oNnCl34IRX2NeyK6R4erD6K5G86XDv83c/0qU7M+jVLvJ8dg3+c/xnm0xYPWwqnf
doLXzCy/SXQcfGQ++av0wUxJN5sgiYbeMrTAm7LHq5rHmzY2PAHmEJQ5+w50/b63
zQ5XO36G+TF4a4IGNxxcSQ2Gp42wMqWCwacpRFo5bkXPVbdXXCkSpqArc2+oRinM
ggzjo5oUi5pb0oNw2DyrjTs9eBNIab/wDxn9ASM9tM6ieABqO4AXAi8JTj3+GAVM
cR/+vUyrPf4SL2VF4AKp7p5PhEFOVKKoYtDtzJJYGpWa/W/7G4uiyj4iPsAz3SXz
qLf/Vfg0y3jikcynUGoJ5/fFY4xM1ChW3mnQUu+TndqSVRju2KK42kXpKvDQjnKS
eiQSI2WY6zAuZcY4MQf4LYG6Cb00/Cm7vmqrK3D3nJY2Vl2Ta7KQ6WWE6ONUoUJr
zYEoP4nUy0Z4mgVq/knpXdwXL0FhTc6FXqjvhwDiwlTbpYEihZdCruHY5DTZ7geG
BFXoDwipM/pWVttyNCEV
=gDd0
-----END PGP SIGNATURE-----
Accepted:
gringo_3.0.4-2.debian.tar.gz
to main/g/gringo/gringo_3.0.4-2.debian.tar.gz
gringo_3.0.4-2.dsc
to main/g/gringo/gringo_3.0.4-2.dsc
gringo_3.0.4-2_amd64.deb
to main/g/gringo/gringo_3.0.4-2_amd64.deb