issues.yml

@@ -2219,6 +2219,9 @@ nondeterministic_gtk_icon_cache:
 nondeterministic_vo_files_generated_by_coq:
   description:
     Unknown source in .vo files generated by some Coq tool.
+captures_build_path_in_vo_files_generated_by_coq:
+  description:
+    Build path embedded in .vo files generated by some Coq tool.
 captures_build_path_in_hd5_database_files:
   description:
     Absolute build path stored in headers, see h5py. Might be caused by

packages.yml

@@ -3184,6 +3184,10 @@ coq:
   version: 8.4pl4dfsg-1
   issues:
     - captures_build_path
+coq-elpi:
+  version: 1.13.0-1
+  issues:
+    - captures_build_path_in_vo_files_generated_by_coq
 coq-float:
   version: 1:8.10.0-1
   issues: