[Git][reproducible-builds/reproducible-notes][master] 2 commits: Tag coq-ext-lib with nondeterministic_checksum_generated_by_coq

[Chris Lamb (@lamby)]

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


Commits:
b99bad85 by Chris Lamb at 2022-10-17T11:44:16-07:00
Tag coq-ext-lib with nondeterministic_checksum_generated_by_coq

- - - - -
0dd22652 by Chris Lamb at 2022-10-17T11:44:33-07:00
Reorder and reformat packages.yml

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3387,6 +3387,10 @@ coq-elpi:
   version: 1.13.0-1
   issues:
     - captures_build_path_in_vo_files_generated_by_coq
+coq-ext-lib:
+  version: 0.11.7-1
+  issues:
+    - nondeterministic_checksum_generated_by_coq
 coq-hierarchy-builder:
   version: 1.2.1-9
   issues:
@@ -17860,19 +17864,19 @@ netty-3.9:
   version: 3.9.9.Final-1
   issues:
     - nondeterministic_java_bytecode
+network-manager-iodine:
+  version: 1.2.0-3
+  bugs:
+    - 908017
 networking-mlnx:
   version: 16.0.0-3
-  issues:
-    - blacklisted_on_jenkins
   comments: |
     Sometimes it builds just fine and sometimes it produces gigabytes of logput. probably #1021924
     Thus blacklisted..
+  issues:
+    - blacklisted_on_jenkins
   bugs:
     - 1021924
-network-manager-iodine:
-  version: 1.2.0-3
-  bugs:
-    - 908017
 networkmanager-qt:
   version: 5.70.0-1
   issues:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/9b60a774adf64274a58793a593b7aeb1b9702e41...0dd22652fdec0127ad125e25342d74eb13fa6329

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/9b60a774adf64274a58793a593b7aeb1b9702e41...0dd22652fdec0127ad125e25342d74eb13fa6329
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/20221017/bf16cb3a/attachment.htm>