Back to gringo PTS page

Accepted gringo 5.1.0-3 (source amd64) into unstable



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