Skip to content

Commit 62f98cd

Browse files
ajewellamzajewellamz
committed
m
1 parent 77c4a8a commit 62f98cd

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,5 +1,5 @@
11
[package]
2-
name = "dafny_runtime"
2+
name = "dafny-runtime"
33
version = "0.3.0"
44
edition = "2021"
55
keywords = ["dafny"]

0 commit comments

Comments
 (0)