--- 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 <lamby@debian.org>
+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