[Git][reproducible-builds/reproducible-notes][master] Tag coq-hierarchy-builder with nondeterministic_vo_files_generated_by_coq

[Chris Lamb (@lamby)]

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


Commits:
dd6763d8 by Chris Lamb at 2022-05-25T08:44:00+01:00
Tag coq-hierarchy-builder with nondeterministic_vo_files_generated_by_coq

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3356,6 +3356,10 @@ coq-float:
   version: 1:8.10.0-1
   issues:
     - nondeterministic_vo_files_generated_by_coq
+coq-hierarchy-builder:
+  version: 1.2.1-9
+  issues:
+    - nondeterministic_vo_files_generated_by_coq
 core-specs-alpha-clojure:
   version: 0.2.44-3
   issues:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/dd6763d80d514155aced88604972bf9a2048a812

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/dd6763d80d514155aced88604972bf9a2048a812
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/20220525/7593deee/attachment.htm>