Your message dated Mon, 13 Jul 2020 11:00:10 +0000
with message-id <[email protected]>
and subject line Bug#960388: fixed in cryptominisat 5.8.0+dfsg1-1
has caused the Debian Bug report #960388,
regarding cryptominisat: please make the build reproducible
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
960388: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=960388
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cryptominisat
Version: 5.7.1+dfsg1-1
Severity: wishlist
Tags: patch
User: [email protected]
Usertags: buildpath
X-Debbugs-Cc: [email protected]
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
`. `'` [email protected] / chris-lamb.co.uk
`-
--- a/debian/patches/reproducible-build.patch 1970-01-01 01:00:00.000000000
+0100
--- b/debian/patches/reproducible-build.patch 2020-05-12 09:00:16.620944436
+0100
@@ -0,0 +1,14 @@
+Description: Make the build reproducible
+Author: Chris Lamb <[email protected]>
+Last-Update: 2020-05-12
+
+--- cryptominisat-5.7.1+dfsg1.orig/src/GitSHA1.cpp.in
++++ cryptominisat-5.7.1+dfsg1/src/GitSHA1.cpp.in
+@@ -38,7 +38,6 @@ const char* CMSat::get_compilation_env()
+ {
+ static const char compilation_env[] =
+ "CMAKE_CXX_COMPILER = @CMAKE_CXX_COMPILER@ | "
+- "CMAKE_CXX_FLAGS = @CMAKE_CXX_FLAGS@ | "
+ "COMPILE_DEFINES = @COMPILE_DEFINES@ | "
+ "STATICCOMPILE = @STATICCOMPILE@ | "
+ "ONLY_SIMPLE = @ONLY_SIMPLE@ | "
--- a/debian/patches/series 1970-01-01 01:00:00.000000000 +0100
--- b/debian/patches/series 2020-05-12 09:00:15.492936011 +0100
@@ -0,0 +1 @@
+reproducible-build.patch
--- End Message ---
--- Begin Message ---
Source: cryptominisat
Source-Version: 5.8.0+dfsg1-1
Done: Julien Puydt <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (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 [email protected])
-----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
<[email protected]>
Changed-By: Julien Puydt <[email protected]>
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-----
--- End Message ---
