Bug#807051: why: please make the build reproducible (timestamps)

Source: why Version: 2.34-4 Severity: wishlist Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: timestamps X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org Hi! While working on the “reproducible builds” effort [1], we have noticed that Why could not be built reprod

Bug#794586: ocaml: Please make ocamldoc produce reproducible manpages

Source: ocaml Version: 4.01.0-5 Severity: wishlist Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: timestamps X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org Hi! While working on the “reproducible builds” effort [1], we have noticed that packages using ocamldoc t

Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

Source: ocaml Version: 4.01.0 Severity: wishlist User: reproducible-bui...@lists.alioth.debian.org Usertags: randomness X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org While working on the “reproducible builds” effort [1], we have noticed that ocamlopt relies on temporary files whose nam

Bug#794130: coq: please make the build reproducible (timestamps)

s/foo/coq/ -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/55ba88d6.8020...@progval.net

Bug#794130: coq: please make the build reproducible (timestamps)

Source: coq Version: 8.4pl4dfsg-1 Severity: wishlist Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: timestamps X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org Hi! While working on the “reproducible builds” effort [1], we have noticed that foo could not be built