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

[Chris Lamb (@lamby)]

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


Commits:
5cbbad31 by Chris Lamb at 2022-06-14T07:21:59+01:00
Tag coq-bignums with nondeterministic_checksum_generated_by_coq

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3344,6 +3344,10 @@ coq:
   version: 8.4pl4dfsg-1
   issues:
     - captures_build_path
+coq-bignums:
+  version: 8.15.0-5
+  issues:
+    - nondeterministic_checksum_generated_by_coq
 coq-elpi:
   version: 1.13.0-1
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/5cbbad31d9fb3ef16faadbe9f57c2c218f8b139e
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/20220614/c4fbb047/attachment.htm>