960388">

Debian Bug report logs - #960388
cryptominisat: please make the build reproducible

version graph

Package: src:cryptominisat; Maintainer for src:cryptominisat is Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>;

Reported by: "Chris Lamb" <lamby@debian.org>

Date: Tue, 12 May 2020 08:45:01 UTC

Severity: wishlist

Tags: patch

Found in version cryptominisat/5.7.1+dfsg1-1

Fixed in version cryptominisat/5.8.0+dfsg1-1

Done: Julien Puydt <jpuydt@debian.org>

Bug is archived. No further changes may be made.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, reproducible-bugs@lists.alioth.debian.org, Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>:
Bug#960388; Package src:cryptominisat. (Tue, 12 May 2020 08:45:04 GMT) (full text, mbox, link).


Acknowledgement sent to "Chris Lamb" <lamby@debian.org>:
New Bug report received and forwarded. Copy sent to reproducible-bugs@lists.alioth.debian.org, Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>. (Tue, 12 May 2020 08:45:04 GMT) (full text, mbox, link).


Message #5 received at submit@bugs.debian.org (full text, mbox, wrote: > Source: cryptominisat > Version: 5.7.1+dfsg1-1 > Severity: wishlist > Tags: patch > User: reproducible-builds@lists.alioth.debian.org > Usertags: buildpath > X-Debbugs-Cc: reproducible-bugs@lists.alioth.debian.org > > Hi, > > Whilst working on the Reproducible Builds effort [0] we noticed that > cryptominisat could not be built reproducibly. > > This is because it embedded the build path via including the CXXFLAGS > in the binary. Patch attached that just strips these out. > > [0] https://reproducible-builds.org/ > > > Regards, > > -- > ,''`. > : :' : Chris Lamb > `. `'` lamby@debian.org / chris-lamb.co.uk > `- ">reply):

From: "Chris Lamb" <lamby@debian.org>
To: submit@bugs.debian.org
Subject: cryptominisat: please make the build reproducible
Date: Tue, 12 May 2020 09:40:18 +0100
[Message part 1 (text/plain, inline)]
Source: cryptominisat
Version: 5.7.1+dfsg1-1
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: buildpath
X-Debbugs-Cc: reproducible-bugs@lists.alioth.debian.org

Hi,

Whilst working on the Reproducible Builds effort [0] we noticed that
cryptominisat could not be built reproducibly.

This is because it embedded the build path via including the CXXFLAGS
in the binary. Patch attached that just strips these out.

 [0] https://reproducible-builds.org/


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-
[cryptominisat.diff.txt (text/plain, attachment)]

Reply sent to Julien Puydt <jpuydt@debian.org>:
You have taken responsibility. (Mon, 13 Jul 2020 11:03:16 GMT) (full text, mbox, link).


Notification sent to "Chris Lamb" <lamby@debian.org>:
Bug acknowledged by developer. (Mon, 13 Jul 2020 11:03:16 GMT) (full text, mbox, link).


Message #10 received at 960388-close@bugs.debian.org (full text, mbox, reply):

From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
To: 960388-close@bugs.debian.org
Subject: Bug#960388: fixed in cryptominisat 5.8.0+dfsg1-1
Date: Mon, 13 Jul 2020 11:00:10 +0000
Source: cryptominisat
Source-Version: 5.8.0+dfsg1-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
cryptominisat, 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 960388@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated cryptominisat 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: Sat, 11 Jul 2020 12:11:26 +0200
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.8 libcryptominisat5-5.8-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
Architecture: source amd64
Version: 5.8.0+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.8 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Closes: 960388
Changes:
 cryptominisat (5.8.0+dfsg1-1) unstable; urgency=medium
 .
   * Add patch for reproducible builds. (Closes: #960388)
   * New upstream release.
   * Bump dh-compat to 13.
   * Update d/copyright.
   * Add patch fixing typos.
   * Add patch fixing manpages.
Checksums-Sha1:
 8ba83bd589b486b3709148afcc66edacd76b63bd 2408 cryptominisat_5.8.0+dfsg1-1.dsc
 4b69f26c3bacbc3a36920176e7f7a54626328fb7 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 96288bb3d1c8588622e3ec2cd7a54701a86083d2 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
 4da9410d92b8101fe87b06de44e750884b15345e 1181236 cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 63e31da48296e991e3014607d01e37ceed57bfa1 9684 cryptominisat_5.8.0+dfsg1-1_amd64.buildinfo
 2a20d6ab8d2f6d4e6f9a7168114bb71ce272d4e0 97824 cryptominisat_5.8.0+dfsg1-1_amd64.deb
 fe4aa80bd7c7a54ea3dfbca9df4fa87abf5ca1c5 5903032 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb
 f4098859daff12976734c8fa0149782afb4e705e 438480 libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
 4ce7d8ca179dfdabf8e98e290bb75f7988ce0575 13660 libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
 4d3d70fd7bbd5a338a973e9a0d2668c5782be6b2 89592 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 6924e2af6275dd89a9e4a1e693d5b72694311670 18796 python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb
Checksums-Sha256:
 0709206949d931d23a87fb5d2871c5626667b33d16fa14eb3aa02415b7c5e96b 2408 cryptominisat_5.8.0+dfsg1-1.dsc
 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 f0e9f85f6a620a0dabf7e5f47b935684aa6b54d93f065149931733091084635d 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
 592615a29475fbcdc376fa82f6c0d0f92bf9cb53039ee2e98c7af754edc2e661 1181236 cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 1152e50056184c2b4b5127b679274a3c366c62140dd65a1dfcb824104562bf15 9684 cryptominisat_5.8.0+dfsg1-1_amd64.buildinfo
 6395030773acedd0ce1f1d9d3e6f581d21ae709c6209edac84778e276f61092a 97824 cryptominisat_5.8.0+dfsg1-1_amd64.deb
 57c4f776199385b029b7d0e8cb549619c0382451e73636e11c40d299d792c8d1 5903032 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb
 876ad655d56c8824e8e5dce8450c7d93813ca340aad190464515053a27fc1f5f 438480 libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
 5690741051151553e344d7c1653891277f95af0268434a4327d520eec8a6bb5a 13660 libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
 58a65974156073bb07e70fd34c8bcfe58c402f83de0d2600dfa5d944cefaca50 89592 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 4aa604548d2a113636366e25108c327f59f0b834e8ed2d737946730196f4941f 18796 python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb
Files:
 ba996f09fe256ede47010d385fda89ac 2408 math optional cryptominisat_5.8.0+dfsg1-1.dsc
 5b867b1bdeda288f3604bbeb42a6fa15 451304 math optional cryptominisat_5.8.0+dfsg1.orig.tar.xz
 e1be00a2c948aadf91a45e670cc33215 6188 math optional cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
 1ebafae888af7dd2510f56c41cf78e36 1181236 debug optional cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 0e894410de9c35ac6d5d2bce1ba143fa 9684 math optional cryptominisat_5.8.0+dfsg1-1_amd64.buildinfo
 2dfd59767713d177ea5d972e936e168f 97824 math optional cryptominisat_5.8.0+dfsg1-1_amd64.deb
 849e4614393803a38c0634a30378305c 5903032 debug optional libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_amd64.deb
 9aed23bd01c0ea450e4c8f7fde89b7e4 438480 libs optional libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb
 e80104e0a8c00ccaf158d4276f14b059 13660 libdevel optional libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb
 d39ddbba15dc1ec4f4f9b03fbd0c36fb 89592 debug optional python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_amd64.deb
 33fb528afdd29c2eaf97fcba73d6fef9 18796 python optional python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl8Jx50SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIuEP/iZizVBDEOGFlgxI+uEZFX5AYNchagWK
nzVsqovwowKM0IXAH4MhPAcyLa4AioFmwZp+2BjWdSPlFrd9GTyLXVoHg21DVRkF
OVIY0RdksTsXeTXOS/NqTmqw/g/94EmGVofdabHXIJVnoH+1J6E0Ma5m35YaD7yi
GomZES0d4xypFpvsQ+vJm3+Z6p9ksqMNogfYJmlgqH2q7O4ZYfGiu9sFXkAWcIw5
gf187bswz1/m8nW5qcEzpyQNSoTI9LMcyD/AnPZ7f8BjFCA201JNtbHfbkVUTROO
8CJHUTi4LhMsZ25i7K3yCYternnjrs/5tj5Q0e4MKL5B/X5GwAYKPuNjLoOdHhYI
AOfMf68JI84nL3fMxhHm4WhQwCqe20DBFnMU17uzhXYRN0m+N8KC4hkkn/Y2Ncp5
xKh6nLEo8tqzG3dvzQOfcT8iVt7A3+ikBEbojjZbMHx5gA/6x3mMYes41dMHxGyp
+/PtdTAvRfIT+9fA7QhaHa9snDxA4mbKcy6fwxDDVBgELO4w8TezKVM3hO0A1hQ+
UWaMi0bXgteshUEJdf3GXOKpjwx00ZKyMfp7W8gO4epIw4pFrjE4A46GCCSKrLv0
O9jqwvtdQjkrUskXmUbcxlPglQCUAeaRtuEml+vcI8uHgnQ/YNkXuioZrsCdj2dn
iZknmklWXEos
=WZ92
-----END PGP SIGNATURE-----




Bug archived. Request was from Debbugs Internal Request <owner@bugs.debian.org> to internal_control@bugs.debian.org. (Thu, 13 Aug 2020 07:33:53 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: Mon Feb 3 06:46:40 2025; Machine Name: buxtehude

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU General 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.