-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 16 Dec 2016 08:13:33 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.1.0-3 Distribution: unstable Urgency: medium 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 (5.1.0-3) unstable; urgency=medium . * debian/rules: fix FTBFS on architectures that require -latomic Checksums-Sha1: f7364ecadf4cc87f3e967e112fc60ea4628e2f44 2023 gringo_5.1.0-3.dsc c2bde049be66f32115325123479dfa250dc1814c 13232 gringo_5.1.0-3.debian.tar.xz 1821ad76fb57f5a3929e45d9e618e49877b635f9 36049848 gringo-dbgsym_5.1.0-3_amd64.deb 352eeb04d2a00b82037eb8a4fb542dc8c886700d 5746 gringo_5.1.0-3_amd64.buildinfo 4f173675cdec239e7b5b68d6390ad4b0a7db6f2c 2358410 gringo_5.1.0-3_amd64.deb Checksums-Sha256: fb176975e2609e3184d77516acf06d2c1ced60c63e5dc910b219da2016f7b05e 2023 gringo_5.1.0-3.dsc 79e5838cc33ab716e378a1318e583ec6baa59f30c80d912142301a0cbac4f938 13232 gringo_5.1.0-3.debian.tar.xz 3ac0e00df6f9c5cf0bf855d10aca9ca9ec2f290ac1967b4b1caf2c53af2e362e 36049848 gringo-dbgsym_5.1.0-3_amd64.deb 454d98b17fc9461c9365e6caa9bc035c39ffc93ae326b490a8bc0d4c97c09f4c 5746 gringo_5.1.0-3_amd64.buildinfo 2f65adb112e8664bd920b25c3b1ecb8fc7c29cb4102ede753e0634ccbf197201 2358410 gringo_5.1.0-3_amd64.deb Files: 5225cccf2ae8dd1cbebab9fef8649cd7 2023 interpreters extra gringo_5.1.0-3.dsc d65c0ad423608e92bc0387973d473338 13232 interpreters extra gringo_5.1.0-3.debian.tar.xz a0817df30c349df8e274a165cfc3c523 36049848 debug extra gringo-dbgsym_5.1.0-3_amd64.deb 03b6c33a3e0ce4ced4590c00084a39bf 5746 interpreters extra gringo_5.1.0-3_amd64.buildinfo 27999f340dcd9965eb6dc3aa80167641 2358410 interpreters extra gringo_5.1.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhTnj8ACgkQJ5ffdKZm mqnyIQ//e2kL/lGyPpa2Xtqe95MDbVlWU6KDjNVQi+lFRDv5rpGH6eRPVvU6Nu9L sXbDujydzn8Eiyke7mifaY7JKDUd+eqtRPlBNPqXgJ8bE1F0wAWhdgelP6xRZk8w LoFJVMHSI+kk24Nhlryo9782MUHoamiH+j4KeXUQT5GGu6xpmN9hvTxeoMaBjC99 bvpyt6uZ3DyE7htbAAAFeqS2sA1g0f+q26f9MkvcJYrkPYRkJsL8ypzdaKlwI1Os m3uNPZ9b34f8Vorgj4nCLPL6bhIf7myAY1zDCHjTF49cPqHCt1aTC28RIC2AEuMV X227nTb02gV1xj+f4qE8EQiEkNb/5umn3HKTUIbc+5uEXURaMvviP1Gc2aMlowFo oR+nWD6ifX3mt/yp84jnBDs8z3VzPuaE+mNHT1FJ+/qfO9Pskt0CrjLivf19pLm4 yGpAVEzslx/ivzErbnVHTaOfTUuMyVKxJ0JtGgCsdBgS6B96eUF+Zs6rFbsg+zWM cYuUcUtktDbmoH1uLyla21BQ/JPXnirTs9MbexLr3lRewewf/ezSCrku2mCYpY6v ZmSZKGiv57ABFk2lVfIWizHgLIWHJPq2KYkDeN6mUOEto7otOt9FmEPGemmrvNnb Q4Gu/sC2muTRz/7aU8Too/8hc4kh84MAUWSjxYIFB0vvuYiXnlo= =cNQN -----END PGP SIGNATURE-----
