Merge pull request #1190 from hacspec/franziskus/release-cleanup

hax-types: version for serde-brief
hacspec · Dec 17, 2024 · 5ebbd45 · 5ebbd45
2 parents 904bb95 + 27ae160
commit 5ebbd45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-types/Cargo.toml b/hax-types/Cargo.toml
@@ -22,7 +22,7 @@ serde_json.workspace = true
 annotate-snippets.workspace = true
 hax-adt-into.workspace = true
 tracing.workspace = true
-serde-brief ={ version = "*", features = ["std", "alloc"]}
+serde-brief ={ version = "0.1", features = ["std", "alloc"]}
 zstd = "0.13.1"
 miette = "7.2.0"