Your message dated Tue, 05 Apr 2016 09:53:03 +0000
with message-id <[email protected]>
and subject line Bug#819948: fixed in maude 2.7-2
has caused the Debian Bug report #819948,
regarding maude: please make the build reproducible (timestamps)
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.)
--
819948: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819948
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: maude
Version: 2.7-1
Severity: wishlist
Tags: patch
User: [email protected]
Usertags: timestamps
X-Debbugs-Cc: [email protected]
Dear Maintainer,
While working on the “reproducible builds” effort [1], we have noticed
that 'maude' could not be built reproducibly.
The attached patch removes build date from the banner. Once applied,
maude can be built reproducibly in our current experimental framework.
Regards,
Alexis Bienvenüe.
[1]: https://wiki.debian.org/ReproducibleBuilds
diff -Nru maude-2.7/debian/changelog maude-2.7/debian/changelog
--- maude-2.7/debian/changelog 2015-12-16 22:57:27.000000000 +0100
+++ maude-2.7/debian/changelog 2016-04-04 09:04:27.000000000 +0200
@@ -1,3 +1,9 @@
+maude (2.7-1.0~reproducible1) unstable; urgency=medium
+
+ * Strip build date from banner to get reproducible build.
+
+ -- Alexis Bienvenüe <[email protected]> Mon, 04 Apr 2016 09:04:16 +0200
+
maude (2.7-1) unstable; urgency=medium
* New upstream version
diff -Nru maude-2.7/debian/patches/series maude-2.7/debian/patches/series
--- maude-2.7/debian/patches/series 2015-12-16 22:44:15.000000000 +0100
+++ maude-2.7/debian/patches/series 2016-04-04 09:02:26.000000000 +0200
@@ -1,3 +1,4 @@
search-datadir.patch
bison-parse-param.patch
getinput-size_t.patch
+strip-build-date.patch
diff -Nru maude-2.7/debian/patches/strip-build-date.patch maude-2.7/debian/patches/strip-build-date.patch
--- maude-2.7/debian/patches/strip-build-date.patch 1970-01-01 01:00:00.000000000 +0100
+++ maude-2.7/debian/patches/strip-build-date.patch 2016-04-04 09:03:40.000000000 +0200
@@ -0,0 +1,16 @@
+Description: Strip build date
+ Strip build date from banner, for reproducibility reasons.
+Author: Alexis Bienvenüe <[email protected]>
+
+--- maude-2.7.orig/src/Mixfix/banner.cc
++++ maude-2.7/src/Mixfix/banner.cc
+@@ -53,8 +53,7 @@ printBanner(std::ostream& s)
+ Tty(Tty::GREEN) << 'e' <<
+ Tty(Tty::RESET) << " ---\n";
+ s << "\t\t /||||||||||||||||||\\\n";
+- s << "\t " << PACKAGE_STRING << " built: " <<
+- __DATE__ << ' ' << __TIME__ << '\n';
++ s << "\t " << PACKAGE_STRING << '\n';
+ s << "\t Copyright 1997-2014 SRI International\n";
+ s << "\t\t " << ctime(&secs);
+ }
--- End Message ---
--- Begin Message ---
Source: maude
Source-Version: 2.7-2
We believe that the bug you reported is fixed in the latest version of
maude, 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.
Andreas Tille <[email protected]> (supplier of updated maude 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: SHA256
Format: 1.8
Date: Tue, 05 Apr 2016 10:48:06 +0200
Source: maude
Binary: maude
Architecture: source amd64
Version: 2.7-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Med Packaging Team
<[email protected]>
Changed-By: Andreas Tille <[email protected]>
Description:
maude - high-performance logical framework
Closes: 819948
Changes:
maude (2.7-2) unstable; urgency=medium
.
[ Andreas Tille ]
* Moved packaging from SVN to Git
* cme fix dpkg-control
.
[ Alexis Bienvenüe]
* Strip build date from banner to get reproducible build.
Closes: #819948
Checksums-Sha1:
d6dceec8509bc743e33432dcd9d87502ecff9e1b 2007 maude_2.7-2.dsc
9bfd10cae003ab253fe1c1db65a379471a1c7472 6736 maude_2.7-2.debian.tar.xz
da62f86ddc2b60c2d13e184541d69b3672ddae64 9296498 maude-dbgsym_2.7-2_amd64.deb
81fa94952a04a1af9858099776a4fb84830ed534 774434 maude_2.7-2_amd64.deb
Checksums-Sha256:
640243df6e33c7032cd399a7512c75c2f3c48c4889876fb260a6bee0a095ca04 2007
maude_2.7-2.dsc
96c7c7a8998ad199cbb87b3bcece2ee191a4b5969061173359cabe6c8965b6be 6736
maude_2.7-2.debian.tar.xz
df8bd44fa4ad8c2a1ef85b4379b8541ffe92f9c93edf12928cca4b2e5c08df39 9296498
maude-dbgsym_2.7-2_amd64.deb
fe175417200991f19b9c19cee46e3e91b9cae6d9600492420913d960d84a7bba 774434
maude_2.7-2_amd64.deb
Files:
18193aafddde58540fce241937d5f3d7 2007 science optional maude_2.7-2.dsc
a251a737c7d0b0e8992fc51f7b2409c8 6736 science optional
maude_2.7-2.debian.tar.xz
a9f9205cbebd89855310221e90556c65 9296498 debug extra
maude-dbgsym_2.7-2_amd64.deb
8e43c5b699bd8376b462809f78c77c9a 774434 science optional maude_2.7-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXA30OAAoJEFeKBJTRxkbR5JgP/iGr6Qlz/rkcCutmP6pawckf
mblZzgoCGPSNbmScyH7SHkGo4bbOtlHHcwjrkCdonyegitHCgV00+JuuMExepJBc
DOQ6VmhkvTEfOexXQaHNBZ+/Q7umdqGjFFj1672qcIBE59BapnTnP6s0T+2EyzUE
t+n/B8XdegYmklPtLb/HNwNUZ3kEs5UIKrj71fECmwooHFNf58ojPF3iIckEozTX
R3NPi77uc7sw7F8ATLX7hEVki5i8xwMyA+gW74+V8W1WegsRgkRoYPYdhuHcBoQS
4amXToUASoRqRno7NQYRC5t/WMe0WStEWiu5mrHuFJreX6AiNn4GOFEOa9pm02GE
g3o78CFlfyeSuja1Wkp47Bq7j9Cb/ohwXlQI72+hNCPIQasS84DmV60I6IQv3qwv
mQraq0vTwLgWpwK8V8anBUUUeAWlDROpgUrh3px9Bch//78VXqQx+AQOkI8TID/g
bgoS7B9ivwlbdg2Mf8MiEe24fkojbdMyZthtIXQdkaxEZK6m4ExnpqpGbRwf9ki9
Fe8Tv2hD0M2QD0O0zqu6XVkGPLBpeNdc9Eo0xTrWxkLEW5NiVl6FdWkDCgZ92AhG
kOg+qRUvpSI8S05nr/mG+V7SNhMO/QHMT1mqBmQ6iEnWJeLNrOd/t+GNPaVCDRGr
NmTWZJgq7myYBQUtN+p4
=gA7e
-----END PGP SIGNATURE-----
--- End Message ---
