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: