Debian Bug report logs -
#828971
clasp: please make the build reproducible
Reported by: Reiner Herrmann <reiner@reiner-h.de>
Date: Wed, 29 Jun 2016 13:33:02 UTC
Severity: wishlist
Tags: patch, upstream
Found in version clasp/3.1.4-2
Fixed in version clasp/3.1.5-1
Done: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Bug is archived. No further changes may be made.
Toggle useless messages
Report forwarded
to debian-bugs-dist@lists.debian.org, reproducible-builds@lists.alioth.debian.org, Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>:
Bug#828971; Package src:clasp.
(Wed, 29 Jun 2016 13:33:05 GMT) (full text, mbox, link).
Acknowledgement sent
to Reiner Herrmann <reiner@reiner-h.de>:
New Bug report received and forwarded. Copy sent to reproducible-builds@lists.alioth.debian.org, Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>.
(Wed, 29 Jun 2016 13:33:05 GMT) (full text, mbox, link).
Message #5 received at submit@bugs.debian.org (full text, mbox, reply):
[Message part 1 (text/plain, inline)]
Source: clasp
Version: 3.1.4-2
Severity: wishlist
Tags: patch upstream
User: reproducible-builds@lists.alioth.debian.org
Usertags: fileordering
X-Debbugs-Cc: reproducible-builds@lists.alioth.debian.org
Hi!
While working on the "reproducible builds" effort [1], we have noticed
that clasp could not be built reproducibly.
A list of source files is not sorted, which causes a non-deterministic
linking order.
The attached patch fixes this.
Regards,
Reiner
[1]: https://wiki.debian.org/ReproducibleBuilds
[clasp.patch (text/x-diff, attachment)]
[signature.asc (application/pgp-signature, inline)]
Reply sent
to Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
You have taken responsibility.
(Sun, 04 Sep 2016 10:21:16 GMT) (full text, mbox, link).
Notification sent
to Reiner Herrmann <reiner@reiner-h.de>:
Bug acknowledged by developer.
(Sun, 04 Sep 2016 10:21:16 GMT) (full text, mbox, link).
Message #10 received at 828971-close@bugs.debian.org (full text, mbox, reply):
Source: clasp
Source-Version: 3.1.5-1
We believe that the bug you reported is fixed in the latest version of
clasp, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 828971@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <tkren@kr.tuwien.ac.at> (supplier of updated clasp package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----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 <tkren@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-----
Bug archived.
Request was from Debbugs Internal Request <owner@bugs.debian.org>
to internal_control@bugs.debian.org.
(Sat, 08 Oct 2016 07:29:20 GMT) (full text, mbox, link).
Send a report that this bug log contains spam.
Debian bug tracking system administrator <owner@bugs.debian.org>.
Last modified:
Wed May 17 14:09:33 2023;
Machine Name:
bembo
Debian Bug tracking system
Debbugs is free software and licensed under the terms of the GNU
Public License version 2. The current version can be obtained
from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson,
2005-2017 Don Armstrong, and many other contributors.