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

[Chris Lamb (@lamby)]

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


Commits:
1517318e by Chris Lamb at 2025-01-06T09:10:08+00:00
Tag coq-interval with nondeterministic_vo_files_generated_by_coq

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3325,6 +3325,7 @@ coq-interval:
   version: 4.11.1-1
   issues:
     - nondeterministic_checksum_generated_by_coq
+    - nondeterministic_vo_files_generated_by_coq
 coq-iris:
   version: 3.6.0-1
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/1517318e2dd8f406105274ed40450f06a829b0de
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/20250106/7587a4d8/attachment.htm>