Skip to content

Commit

Permalink
hax-types: version for serde-brief
Browse files Browse the repository at this point in the history
  • Loading branch information
franziskuskiefer committed Dec 17, 2024
1 parent daaeb8e commit 27ae160
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hax-types/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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"

Expand Down

0 comments on commit 27ae160

Please sign in to comment.