[Git][reproducible-builds/reproducible-notes][master] 2 commits: Auto-classify .vo files as nondeterministic_vo_files_generated_by_coq.

[Chris Lamb (@lamby)]

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


Commits:
5068b28a by Chris Lamb at 2022-05-17T09:05:13-07:00
Auto-classify .vo files as nondeterministic_vo_files_generated_by_coq.

- - - - -
d7fa41fd by Chris Lamb at 2022-05-17T09:05:46-07:00
Tag mathcomp-algebra-tactics with nondeterministic_vo_files_generated_by_coq

- - - - -


2 changed files:

- bin/auto-classify
- packages.yml


Changes:

=====================================
bin/auto-classify
=====================================
@@ -66,6 +66,9 @@ def walk_json(elem):
         if v.endswith(".qch"):
             yield "timestamps_in_qhc"
 
+        if v.endswith(".vo"):
+            yield "nondeterministic_vo_files_generated_by_coq"
+
         if v.endswith(".reverse.bin"):
             yield "nondeterminism_in_files_generated_by_rime_deployer"
 


=====================================
packages.yml
=====================================
@@ -15815,6 +15815,10 @@ matchit:
   issues:
     - randomness_in_r_rdb_rds_databases
     - gcc_captures_build_path
+mathcomp-algebra-tactics:
+  version: 0.3.0-1
+  issues:
+    - nondeterministic_vo_files_generated_by_coq
 mathgl:
   version: 8.0.1-1
   issues:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/168f3a5860830cceea143c893acb2fc41ec1dd7a...d7fa41fd0399ec538180b4df11e97b8d7145b783

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/168f3a5860830cceea143c893acb2fc41ec1dd7a...d7fa41fd0399ec538180b4df11e97b8d7145b783
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/20220517/d9d24cc1/attachment.htm>