[Git][reproducible-builds/reproducible-notes][master] Tag coq-iris with nondeterministic_checksum_generated_by_coq

[Chris Lamb (@lamby)]

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


Commits:
4efd1857 by Chris Lamb at 2022-07-28T08:34:45-07:00
Tag coq-iris with nondeterministic_checksum_generated_by_coq

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3352,6 +3352,10 @@ coq-hierarchy-builder:
   version: 1.2.1-9
   issues:
     - nondeterministic_vo_files_generated_by_coq
+coq-iris:
+  version: 3.6.0-1
+  issues:
+    - nondeterministic_checksum_generated_by_coq
 coquelicot:
   version: 3.2.0-5
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/4efd185767213b76ee997cced04915f7851227ff
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/20220728/bd9f9979/attachment.htm>