fix verifier numbers

betrusted-io · Dec 1, 2023 · 6d71dc0 · 6d71dc0
1 parent 5aff0f2
commit 6d71dc0
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/xtask/src/verifier.rs b/xtask/src/verifier.rs
@@ -12,12 +12,12 @@ pub fn check_project_consistency() -> Result<(), DynError> {
     // TODO: retire utralib/svd2utra from publication as well
     let check_pkgs = [
         // this set updates with kernel API changes
-        "[email protected].54",
-        "[email protected].54",
-        "[email protected].50",
-        "[email protected].52",
-        "[email protected].50",
-        "[email protected].50",
+        "[email protected].55",
+        "[email protected].55",
+        "[email protected].51",
+        "[email protected].53",
+        "[email protected].51",
+        "[email protected].51",
     ];
     // utra/svd2utra changes are downgraded to warnings because these now prefer to pull
     // from the local patch version, so any inconsistency simply indicates we forgot to