Accepted gringo 3.0.4-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 23 May 2012 15:25:09 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.4-3
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: 672933
Changes:
gringo (3.0.4-3) unstable; urgency=low
.
* Bug fix: "please build-depend on unversionend boost libraries", thanks
to Ralf Treinen (Closes: #672933).
Checksums-Sha1:
c1d0fca89073fce4d35d8812ca599a60fd6ed8c8 2033 gringo_3.0.4-3.dsc
a1ddee985feae64d1236668552a35723d851e23a 9079 gringo_3.0.4-3.debian.tar.gz
1cc1a52132acea58d5b14f130ae27b1afe55930d 1591394 gringo_3.0.4-3_amd64.deb
Checksums-Sha256:
9c82cdb06733857175953a38fca4f9210b6d783172fea6c2e0d36515f922729e 2033 gringo_3.0.4-3.dsc
868f949435ff19feb00a3d31098256fdc1aceb7caec360a00b655910dbfccce9 9079 gringo_3.0.4-3.debian.tar.gz
41f6b06eacc468ee60be7b35308811a4f9a9f8cf0a9e2bdecf5ffcafb693f32e 1591394 gringo_3.0.4-3_amd64.deb
Files:
f5bacbf05ab7e530d32cd22cd7c4857d 2033 interpreters extra gringo_3.0.4-3.dsc
f3dd7f8eb3d5a225e756e3c364e22a1d 9079 interpreters extra gringo_3.0.4-3.debian.tar.gz
1235319c36ce54ed1ebe62e4c49b3b58 1591394 interpreters extra gringo_3.0.4-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPvO4fAAoJECeX33SmZpqp35kP/281dqx9tGwT47NCLvaDz+zn
9WZ1fkQi7QecRc6O8p3799457ZFjaUUuopoEnwLx9roDVbaINTugJl/PTB1EARsL
EtrsF2q6O4RF7xJ4CMIuiYv31AqpJwx3MQtwz4NAOytUhVCntFCpNLlhceSOOFkS
pHtKs0nXW+yQ4dBiVyZFVX7p2RZdWXIVN7P0Bf+Fjb8d/Ks/np9Q7lRWgemIMiKZ
h/Qun2OnumfJH6PqE5rvZaBJnQIZP0AUvKLGmmag0c8EjYNML11v1aPz6+Loefeh
wMpybkJabvNSbFhG2xPiKKlkHykWLygf3D0bOmA8Y2rIP+ozLqru1OT9wnCZ0+7x
mmAamAoEwluORlIe++k0JGCJrveqVaOmIyJ7FYkpLqg32a6h0KxnOMLGAQqjeXPC
GBcbtTTokz0vGyFirJskzBggvvcMRX0lxp2itTV+uYNRXBXqkKiIknGK7TJJyEcv
wW6MXbVTyI3Jnnn2gtlW8DG3m5YpuiCaMzOphJMeXjXnhlp4eddudYjySEsW4CfJ
E2oX1ibAxovaU9DqAYzySaOxJV2cJH6TVzCOZMIwl5h54RMdtJPWY/dRGfft6inj
tg6JWO1k/GYfn/dsE30H2qN40G/DgrmOdZWdVYG3uOk9dZ4sLZ8IRzkXPE5SCXk0
8AY0s5hI0CFTbrjTcJ4q
=vUlA
-----END PGP SIGNATURE-----
Accepted:
gringo_3.0.4-3.debian.tar.gz
to main/g/gringo/gringo_3.0.4-3.debian.tar.gz
gringo_3.0.4-3.dsc
to main/g/gringo/gringo_3.0.4-3.dsc
gringo_3.0.4-3_amd64.deb
to main/g/gringo/gringo_3.0.4-3_amd64.deb
Reply to: