[Reproducible-builds] Bug#794130: coq: please make the build reproducible (timestamps)

[Valentin Lorentz]

Source: coq
Version: 8.4pl4dfsg-1
Severity: wishlist
Tags: patch
User: reproducible-builds at lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-builds at lists.alioth.debian.org

Hi!

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

The attached patch removes extra timestamps from the build system. Once
applied, and after ocamlc is patched to remove nondeterminism, coq will
be buildable reproducibly in our experimental framework.

 [1]: https://wiki.debian.org/ReproducibleBuilds

Regards,
Valentin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: coq_reproducible_build.diff
Type: text/x-patch
Size: 817 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/reproducible-builds/attachments/20150730/9c58b09e/attachment.bin>