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

Chris Lamb (@lamby) gitlab at salsa.debian.org
Thu Aug 11 19:34:56 UTC 2022



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


Commits:
b65df15a by Chris Lamb at 2022-08-11T12:33:22-07:00
Tag coq-reglang with nondeterministic_checksum_generated_by_coq

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3358,6 +3358,10 @@ coq-iris:
   version: 3.6.0-1
   issues:
     - nondeterministic_checksum_generated_by_coq
+coq-reglang:
+  version: 1.1.3-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/b65df15a8f9284ddc5b5ab873fd85fa4d88a3825

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/b65df15a8f9284ddc5b5ab873fd85fa4d88a3825
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/20220811/79addf9c/attachment.htm>


More information about the rb-commits mailing list