clasp_3.1.5-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 04 Sep 2016 09:54:27 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.1.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Closes: 828971
Changes:
 clasp (3.1.5-1) unstable; urgency=medium
 .
   * New upstream version 3.1.5
   * debian/rules: cope with multiarch libtbb, thanks to Steve Beattie
   * Remove parallel solve patch introduced in clasp 3.1.4-2
   * Bug fix: "please make the build reproducible", thanks to Reiner
     Herrmann (Closes: #828971)
Checksums-Sha1:
 b8e1eeeb88f32e1e872bd36f00dd77e3897d5cd4 1998 clasp_3.1.5-1.dsc
 7a0ce532ead491af585c0a5ac982f24bfc46e741 522179 clasp_3.1.5.orig.tar.gz
 ed550abea356af13c843c91410c49e2169217e6e 7144 clasp_3.1.5-1.debian.tar.xz
 bc1e378e39174150f11ae42f0c20828c43ccf9a6 4271826 clasp-dbgsym_3.1.5-1_amd64.deb
 a40660d55c199457fffd1300eb963ece98d8e6fc 463496 clasp_3.1.5-1_amd64.deb
Checksums-Sha256:
 372ae3c4637fbf1f8bcd885a443c7b2b34541b9bf111c753cc63677f3ababac2 1998 clasp_3.1.5-1.dsc
 f9ea3020298cec0649e0c5864cfd2c1d92d48c55433277844522450cf461e9c7 522179 clasp_3.1.5.orig.tar.gz
 2d0aef660eed55b38d3cd793ad93d522592fd5b325b2835ec49201d6e2a6532e 7144 clasp_3.1.5-1.debian.tar.xz
 303479cc934e738e655195a5b2ad1a81ca25da11e131c27e000c13ced86ae422 4271826 clasp-dbgsym_3.1.5-1_amd64.deb
 981393cb11eec948fef10029fb8a446f6a15f8691764234ecf5d9c6bcbce5f1c 463496 clasp_3.1.5-1_amd64.deb
Files:
 7bcc99b5ca98d650b4e2d45bd9e47be7 1998 interpreters extra clasp_3.1.5-1.dsc
 83f781c6cabbdc25f7f07d4720311bad 522179 interpreters extra clasp_3.1.5.orig.tar.gz
 fb2d1438fcdc2f6da739312d6dbbc5a1 7144 interpreters extra clasp_3.1.5-1.debian.tar.xz
 61269af1df975d355c7123202726fa68 4271826 debug extra clasp-dbgsym_3.1.5-1_amd64.deb
 0ec6a4e8d448358d67ba818b83991d62 463496 interpreters extra clasp_3.1.5-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJXy9fUAAoJECeX33SmZpqptxQP/0uyVrAsE4V0Ac5pJlH4SD7e
LLmUshEn6xEHW4vhAcAllLojoBI3k5efz2KQ4kXm6EkcnQzVRQwZQZkhpO5jSAhS
jdDfIM+lYVb6rZPU2aoEqewTN4kXrX2TSlMBGQWtymfyC9Ibud60z/GDR6A9uD5n
MeXyiLyCnxJQszRrCtz25vlxbpLqHL/NiOtZPO7LRX9OGoYt3kfcERo5fFAjn4Y7
WRtRqoEbjP217xiCDJklQaJcQ4qMzXYdXVMeM0v57Fl+Pi86ka8LhcxgnAlqm417
fVe8SpJhQ3VLFVAnhnU1Ocg7YSQQpwsTIRlpfPtxdWAY8gf6z+Puh6Kpn7iYXB3z
wQTlq2xisRvWW6ki6v0SXIK7S6eRqpy/yRgJCIKZYzlpsSHrJa6ohF2nF92AJxwD
Bviz4lYDN9dM11cQNOmGvPUVlqjjyzWZTkNyF1HPN+Wq6l9vMw4Lqg9hPO7o0Juo
4vZrSZCi+KL4IVIZjqXgVNa4uWD5Crnp+h06vMUNeRs4EtfrOWPngIl5rlkaBm7Q
YZuOKUa+rHHmmpittkOgJd04dlDoarYZTgbDWr1tvhc31qEmxMfgVt570EXKdqsR
eEMndyk9dQ+Hxy2ijrW+Iscy4kYC+QyplHPnNZXZVxgc9hxuNg50qNoN2sNq/27I
HKExu9iGqtJUmghAAM/4
=piRd
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.