[Reproducible-commits] [notes] 01/02: Add new tags for OCaml randomness issues

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository notes.

commit e4cb606f5a671f95def9585dadf361e6d973d40b
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 21 18:02:30 2015 +0200

    Add new tags for OCaml randomness issues
---
 issues.yml | 23 ++++++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

diff --git a/issues.yml b/issues.yml
index a1bf30d..294c087 100644
--- a/issues.yml
+++ b/issues.yml
@@ -546,10 +546,27 @@ randomness_in_ocaml_a_files:
     .
     However, there are still timestamps (as strings) in .a files afterwards.
     .
-    * asmcomp/asmlink.ml (eg. /tmp/camlstartupef12cc.o)
+    * asmcomp/asmlink.ml (eg. /tmp/camlstartupef12cc.o), see also
+      randomness_in_ocaml_startup_files
     * debian/patches/0008-Embed-bytecode-in-C-object-when-using-custom.patch
-      (eg. camlobj754fda.c)
-    * asmcomp/asmpackager.ml (eg. /tmp/camlCalendarLib__8f1, I /think/)
+      (eg. camlobj754fda.c), see also randomness_in_ocaml_custom_executables
+    * asmcomp/asmpackager.ml (eg. /tmp/camlCalendarLib__8f1, I /think/), see
+      also randomness_in_ocaml_packed_libraries
+randomness_in_ocaml_startup_files:
+  description: |
+    ocamlopt generates startup files with random names that end up in the
+    executable.
+  url: https://bugs.debian.org/795784
+randomness_in_ocaml_packed_libraries:
+  description: |
+    ocamlopt -pack generates intermediate files with random names that end
+    up in the library.
+  url: https://bugs.debian.org/796336
+randomness_in_ocaml_custom_executables:
+  description: |
+    ocamlc -custom generates intermediate files with random names that end
+    up in the executable.
+  url: https://bugs.debian.org/786913
 timestamp_in_pear_registry_files:
   description: |
     PEAR registry files are serialized PHP objects that contain a timestamp.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git