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: