-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 12 Jun 2014 09:16:31 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.3.0-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: 751317 Changes: gringo (4.3.0-2) unstable; urgency=low . * Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to Matthias Klose (Closes: #751317). * Build with system-wide liblua5.2-dev. Checksums-Sha1: 3c8933958e1dfc0ec7d623677db703b6853a7ad7 2047 gringo_4.3.0-2.dsc a0a3af94bfd905681809db2afa4ee7a271a5966b 8292 gringo_4.3.0-2.debian.tar.xz ac61e35ee0816db55503f1cdd1a4cf94255a252a 1534776 gringo_4.3.0-2_amd64.deb Checksums-Sha256: 794dbb8384d9541b0e3bc593e8efd87c1324d30690ed48b7585faa9e90d52152 2047 gringo_4.3.0-2.dsc 445c4c0e6537907c8d3c69c207340572589fb7f45156ac019cf8a6f6a00e3d41 8292 gringo_4.3.0-2.debian.tar.xz 4b9daee565fe1977368b4dbc0df2634bb2da2f5f53c60dfb9fcd2df3a5e89451 1534776 gringo_4.3.0-2_amd64.deb Files: 64d19bbe50ff06a252a3d7959ec3091b 1534776 interpreters extra gringo_4.3.0-2_amd64.deb 64017a502617652a8bb77a2518e53e1a 2047 interpreters extra gringo_4.3.0-2.dsc e0692dfca7ecd550261e6c9b38695f3b 8292 interpreters extra gringo_4.3.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTmVkrAAoJECeX33SmZpqpQVIP/RaxTugxZwI7oXYJ5DdH2y4q XJIdzc4wi/gEwcZXsa1QPUlIJ8f2IwLhcH1+uXwLVdYohENNBlsp4NYp4ERIWPrZ ywre98St4ZavmUFFceSdiagccMtTvp9nb9DpLsB7wH5IqC0r0xd/I6RvWAyHh3LG XRffC36VAAhPR0pm5SgqZWOvtS1wcyxnZjBjUUuJl0jDCUvsYUsmVfny8ykWqwg6 mjDHpgNRkjbtyv/2VAhkzwxI7e0jtP90U0IY/WE6/f7Li6iHNT+gZel0cesPak/S 0f0BmfFkPrBz95xqYxTQY7onF0vHQy0uU3PB1B0NuOrV0lPoqEK1Sn4DMgQUsgLf I447C90w50W80VKwgOjFNiZF58p0GxaVl+2F9Ob25hDw0MQdqdtol/G+RuzuuIIe 57mCBpGWnhhu0atlQMMDmd+4AEuXVWfuMJ1UDSLEFN11NIxL38wmrWAGoSsrRGXa 0yy2A1v4xzwPIP9BdAqoC+thjUg3HAlw12BnujHmKiFmDTKxsPLKJwwiFAUd8e9o qgxFSEY30pmskhtW9Tfj7E9lPIe+wJM8+KzBW3juvkYiLJRDmmvNik6pGzfyzT+2 l2DS7vBZCY4uiFwPnqr67GDwPaU0H0sN41Z5pnNloSIwIfMJ6dMubq624WBCdQZj BnDom0p4ljUL5HU1//XP =b4LK -----END PGP SIGNATURE-----
