[Git][reproducible-builds/reproducible-notes][master] Tag aac-tactics with nondeterministic_checksum_generated_by_coq

[Chris Lamb (@lamby)]

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


Commits:
a20ce097 by Chris Lamb at 2022-06-14T07:22:59+01:00
Tag aac-tactics with nondeterministic_checksum_generated_by_coq

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -27,6 +27,10 @@ a7xpg:
   version: 0.11.dfsg1-10
   issues:
     - buildpath_in_binaries_generated_by_d_compiler_gdc
+aac-tactics:
+  version: 8.15.1-6
+  issues:
+    - nondeterministic_checksum_generated_by_coq
 abci:
   version: 0.0~git20170124.0.f94ae5e-2
   issues:



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

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