Upgrade hax-lib to 0.3.5.

maximebuyse · maximebuyse · commit d511871ca8e7 · 2025-10-02T15:04:58.000+02:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -51,7 +51,7 @@ readme = "Readme.md"
 allow-branch = ["main"]
 
 [workspace.dependencies]
-hax-lib = { version = "0.3.4" }
+hax-lib = { version = "0.3.5" }
 
 [package]
 name = "libcrux"
