Debian Bug report logs -
#844096
gringo: please make the build reproducible
Reported by: Reiner Herrmann <reiner@reiner-h.de>
Date: Sat, 12 Nov 2016 12:39:01 UTC
Severity: wishlist
Tags: patch, upstream
Found in version gringo/4.5.4-3
Fixed in version gringo/4.5.4-4
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#844096; Package src:gringo.
(Sat, 12 Nov 2016 12:39:03 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>.
(Sat, 12 Nov 2016 12:39:03 GMT) (full text, mbox, link).
Message #5 received at submit@bugs.debian.org (full text, mbox, reply):
[Message part 1 (text/plain, inline)]
Source: gringo
Version: 4.5.4-3
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 gringo could not be built reproducibly.
During build it links objects in non-deterministic order.
The attached patch fixes this by sorting the list of source files.
Regards,
Reiner
[1]: https://wiki.debian.org/ReproducibleBuilds
[gringo.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.
(Wed, 07 Dec 2016 19:51:04 GMT) (full text, mbox, link).
Notification sent
to Reiner Herrmann <reiner@reiner-h.de>:
Bug acknowledged by developer.
(Wed, 07 Dec 2016 19:51:04 GMT) (full text, mbox, link).
Message #10 received at 844096-close@bugs.debian.org (full text, mbox, reply):
Source: gringo
Source-Version: 4.5.4-4
We believe that the bug you reported is fixed in the latest version of
gringo, 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 844096@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 gringo 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: SHA512
Format: 1.8
Date: Wed, 07 Dec 2016 08:27:20 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.4-4
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
Closes: 844096
Changes:
gringo (4.5.4-4) unstable; urgency=medium
.
* Bug fix: "please make the build reproducible", thanks to
Reiner Herrmann (Closes: #844096).
Checksums-Sha1:
0b4fc6d59ba19db1aef8d41a12e580ddb4b1da6f 2070 gringo_4.5.4-4.dsc
cf1e755f468108ed87fc38d9650f8e28787232f8 11340 gringo_4.5.4-4.debian.tar.xz
594c215c46d0408679777edda9f1e9b4110cae90 29928388 gringo-dbgsym_4.5.4-4_amd64.deb
e5a3715c49737330457fa958e21d5d4bee8f5675 5811 gringo_4.5.4-4_amd64.buildinfo
62bcf797059ad4e8adff598ddca2ee4548784429 1844774 gringo_4.5.4-4_amd64.deb
Checksums-Sha256:
f9991b514990b3308d375335efc0126e2a2b62bcee6b183c7de24ce21c2c07eb 2070 gringo_4.5.4-4.dsc
509cb3c4559086611c208dd21043ca7034089a263ec87c46f05b2ec70a10c55a 11340 gringo_4.5.4-4.debian.tar.xz
647a3af1c32ab46ac2df8cdab489a1edcc056dcee2eae1028c404f41ac5e6754 29928388 gringo-dbgsym_4.5.4-4_amd64.deb
6ab128d0a05983a85805c1279871c8928d5ddf4a03ad502f7bd667991f5eb14c 5811 gringo_4.5.4-4_amd64.buildinfo
b46b43d871a96d75b26d613831c8328ffc8f92132fa9bf5b92b54b0179482b2c 1844774 gringo_4.5.4-4_amd64.deb
Files:
f964c83c1c5511cccbfd43f42578489a 2070 interpreters extra gringo_4.5.4-4.dsc
9bbd7a869a75bc2a7e1b9714e2d1bcad 11340 interpreters extra gringo_4.5.4-4.debian.tar.xz
d1accbf5c26102ab7ee5df67e5294a24 29928388 debug extra gringo-dbgsym_4.5.4-4_amd64.deb
1777b0174fe3e8f54985624233faf49b 5811 interpreters extra gringo_4.5.4-4_amd64.buildinfo
4569207229994c400aca1ee634c8db4a 1844774 interpreters extra gringo_4.5.4-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhIYTcACgkQJ5ffdKZm
mqkYxBAAhP0bNj8Ada8f6FtWZveo7lsYICEgWoCcSrwSk44FGxeO3WWDmkx4p0HG
/m+NCXDxB6Yy54mMBY6a3acgl7K4+bEVcWhxGzXaRsGjta2b++DkQ444ZwslSmqx
rn98wM/0gVcPgFumi/FzSOD6fGe/4YVjDN2UTLp6n1ZADkTudcfOsHTkyOkneJkK
Zv0zXY1uZd5lvN6vx4HLuP3rFAUYcaM3Pd92qJNLCTo3kzGW1RuMYFzBBjCUD36B
yeJJof9WM99Vp9ZQ2vDwGcFcrDQbzMonscxCjlmzHuGHYCLeqGitgYcaAiXWtZ5m
hyQ2yuTwPiu+nKWEK/0NVwcNtOnx5SMEzyEHkli1w3uUt9nBL2ScGKpm01cBzTIN
tLwW/ebGtDmIpb0i0dn/ueTo8uV884SzrSKl1dKDeO6+VRor/w7BgiZhhKVOZMqj
5Jyy2Rgak1spt651jGIAwgyLlTEYWNGRZ/0xPJbqxsTby4oI8taqb83pS/DmnpF5
bgkfYrOyq/NnzF0xrGUKF2LbhwKJfW+jj200dcCsaGRQxl9ToxyXmKQGk5GW4Dbf
IqL/Esi8y1resnzjDneYIU2vuhbcfNjI5BOUFGBmRJI5EKT2j6liyvIktq8mwhNr
zVp+eNn4U1v7aYJxchihJltBqhrIXr2a+GDRAwuJIXUPkBD5Kwg=
=bacj
-----END PGP SIGNATURE-----
Bug archived.
Request was from Debbugs Internal Request <owner@bugs.debian.org>
to internal_control@bugs.debian.org.
(Sat, 28 Jan 2017 07:44:27 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 13:58:12 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.