Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 0429751

Browse files
ajewellamzajewellamz
committedJan 31, 2025··
m
1 parent cfb378e commit 0429751

File tree

1 file changed

+1
-1
lines changed
  • releases/rust/db_esdk/dafny_runtime_rust

1 file changed

+1
-1
lines changed
 

‎releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "dafny-runtime"
3-
version = "0.1.1"
3+
version = "0.2.0"
44
edition = "2021"
55
keywords = ["dafny"]
66
license = "ISC AND (Apache-2.0 OR ISC)"

0 commit comments

Comments
 (0)
Please sign in to comment.