Bug#787829: colobot: please make the build reproducible

2015-06-09 Thread Didier 'OdyX' Raboud
Control: forwarded -1 https://github.com/colobot/colobot/pull/481 Le vendredi, 5 juin 2015, 15.18:43 Maria Valentina Marin a écrit : > While working on the “reproducible builds” effort [1], we have noticed > that colobot could not be built reproducibly. Good catch, thanks! Thank you also for the

Bug#787829: colobot: please make the build reproducible

2015-06-05 Thread marivalen
Control: tag -1 + patch here is the patch Description: Changed HTML_TIMESTAMP value from YES to NO --- colobot-0.1.3.orig/Doxyfile.in +++ colobot-0.1.3/Doxyfile.in @@ -952,7 +952,7 @@ HTML_COLORSTYLE_GAMMA = 80 # page will contain the date and time when the page was generated. Setting # this t

Bug#787829: colobot: please make the build reproducible

2015-06-05 Thread Maria Valentina Marin
Source: colobot Version: 0.1.3-1 Severity: wishlist User: reproducible-bui...@lists.alioth.debian.org Usertags: timestamps Hi, While working on the “reproducible builds” effort [1], we have noticed that colobot could not be built reproducibly. The attached patch changes the value of HTML_TIMESTA