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@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@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.
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
