[Git][reproducible-builds/reproducible-notes][master] 3 commits: issues: Add build_path_in_vo_files_generated_by_coq.

[Vagrant Cascadian (@vagrant)]

Vagrant Cascadian pushed to branch master at Reproducible Builds / reproducible-notes


Commits:
82bea314 by Vagrant Cascadian at 2022-02-13T19:18:30-08:00
issues: Add build_path_in_vo_files_generated_by_coq.

- - - - -
778fab0e by Vagrant Cascadian at 2022-02-13T19:19:43-08:00
captures_build_path_in_vo_files_generated_by_coq:

- - - - -
88f5df95 by Vagrant Cascadian at 2022-02-13T19:21:03-08:00
coq-elpi: Mark with captures_build_path_in_vo_files_generated_by_coq.

- - - - -


2 changed files:

- issues.yml
- packages.yml


Changes:

=====================================
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:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/a387145634b615da8a24acbc3bf42c8da7c1e638...88f5df951e261faf0b461b5fb9c47e4248ef213f

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/a387145634b615da8a24acbc3bf42c8da7c1e638...88f5df951e261faf0b461b5fb9c47e4248ef213f
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/20220214/fce4736c/attachment.htm>