model-checking
diff --git a/Diff for: ‎Cargo.lock
+2-2 b/Diff for: ‎Cargo.lock
+2-2
diff --git a/Diff for: ‎std/Cargo.toml
+1-1 b/Diff for: ‎std/Cargo.toml
+1-1
@@ -73,7 +73,7 @@ fortanix-sgx-abi = { version = "0.5.0", features = [
 ], public = true }
 
 [target.'cfg(target_os = "hermit")'.dependencies]
-hermit-abi = { version = "0.4.0", features = [
+hermit-abi = { version = "0.5.0", features = [
     'rustc-dep-of-std',
 ], public = true }