issues.yml

@@ -2099,3 +2099,6 @@ nondeterministic_gtk_icon_cache:
   description:
     Possible filesystem ordering or hash table nondeterminism.
   url: https://bugs.debian.org/953105
+nondeterministic_vo_files_generated_by_coq:
+  description:
+    Unknown source in .vo files generated by some Coq tool.

packages.yml

@@ -25893,6 +25893,10 @@ ssocr:
   version: 2.19.0-2
   issues:
     - captures_build_path_via_assert
+ssreflect:
+  version: 1.10.0+dfsg-2
+  issues:
+    - nondeterministic_vo_files_generated_by_coq
 st:
   version: 1.9-3.1
   bugs: