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