[Git][reproducible-builds/reproducible-notes][master] 3 commits: Add new nondeterministic_checksum_generated_by_coq toolchain issue.

[Chris Lamb (@lamby)]

Chris Lamb pushed to branch master at Reproducible Builds / reproducible-notes


Commits:
9a8b2665 by Chris Lamb at 2022-06-14T07:14:14+01:00
Add new nondeterministic_checksum_generated_by_coq toolchain issue.

- - - - -
44b8ba80 by Chris Lamb at 2022-06-14T07:15:14+01:00
Add support for detecting nondeterministic_checksum_generated_by_coq.

- - - - -
320f1a2d by Chris Lamb at 2022-06-14T07:21:44+01:00
Tag packages with nondeterministic_checksum_generated_by_coq

- - - - -


3 changed files:

- bin/auto-classify
- issues.yml
- packages.yml


Changes:

=====================================
bin/auto-classify
=====================================
@@ -102,6 +102,9 @@ def walk_json(elem):
         if v.endswith(".repo-id"):
             yield "randomness_in_perl6_precompiled_libraries"
 
+        if "/var/lib/coq/md5sums/" in v and v.endswith(".checksum"):
+            yield "nondeterministic_checksum_generated_by_coq"
+
         diff = elem["unified_diff"]
 
         if not diff:


=====================================
issues.yml
=====================================
@@ -2259,6 +2259,9 @@ nondeterministic_vo_files_generated_by_coq:
 captures_build_path_in_vo_files_generated_by_coq:
   description:
     Build path embedded in .vo files generated by some Coq tool.
+nondeterministic_checksum_generated_by_coq:
+  description:
+    /var/lib/coq/md5sums/packagename.checksum contains a short, nondeterminstic string.
 captures_build_path_in_hd5_database_files:
   description:
     Absolute build path stored in headers, see h5py. Might be caused by


=====================================
packages.yml
=====================================
@@ -3352,6 +3352,10 @@ coq-hierarchy-builder:
   version: 1.2.1-9
   issues:
     - nondeterministic_vo_files_generated_by_coq
+coquelicot:
+  version: 3.2.0-5
+  issues:
+    - nondeterministic_checksum_generated_by_coq
 core-specs-alpha-clojure:
   version: 0.2.44-3
   issues:
@@ -15795,6 +15799,14 @@ mathcomp-algebra-tactics:
   version: 0.3.0-1
   issues:
     - nondeterministic_vo_files_generated_by_coq
+mathcomp-finmap:
+  version: 1.5.1-7
+  issues:
+    - nondeterministic_checksum_generated_by_coq
+mathcomp-zify:
+  version: 1.2.0+1.12+8.13-5
+  issues:
+    - nondeterministic_checksum_generated_by_coq
 mathgl:
   version: 8.0.1-1
   issues:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/683d0cf82a2860f6ea3b613c886c131e7fc08e12...320f1a2dabbad976ac6aea87d6111398858130cf

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/683d0cf82a2860f6ea3b613c886c131e7fc08e12...320f1a2dabbad976ac6aea87d6111398858130cf
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.reproducible-builds.org/pipermail/rb-commits/attachments/20220614/0f5af30f/attachment.htm>