Source: rivet
Version: 1.8.3-1.1
Severity: wishlist
Tags: patch
Usertags: timestamps


While working on the “reproducible builds” effort [1], we have noticed
that rivet could not be built reproducibly.

The attached patch changes the value of HTML_TIMESTAMP in upstream's
doxyfile from YES to NO. Once applied the binary package rivet-reference
can be built reproducibly in our current experimental framework.

The binary package rivet-user-manual though is still unreproducible.

Please also consider forwarding this patch upstream.


Description: Set HTML_TIMESTAMP from YES to NO to make package reproducible

--- rivet-1.8.3.orig/
+++ rivet-1.8.3/
@@ -944,7 +944,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # page will contain the date and time when the page was generated. Setting
 # this to NO can help when comparing the output of multiple runs.
 # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
 # documentation will contain sections that can be hidden and shown after the
Reproducible-builds mailing list

Reply via email to