We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cfb378e commit 0429751Copy full SHA for 0429751
releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml
@@ -1,6 +1,6 @@
1
[package]
2
name = "dafny-runtime"
3
-version = "0.1.1"
+version = "0.2.0"
4
edition = "2021"
5
keywords = ["dafny"]
6
license = "ISC AND (Apache-2.0 OR ISC)"
0 commit comments