From 30c0f7f3dfcf21f2f16d6a0c2226b69e81eec4f9 Mon Sep 17 00:00:00 2001 From: Felipe g Date: Sun, 2 Apr 2023 14:01:39 -0300 Subject: [PATCH] bump: kind-cli version --- crates/kind-cli/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml index e51bf5dd..6e92ca36 100644 --- a/crates/kind-cli/Cargo.toml +++ b/crates/kind-cli/Cargo.toml @@ -5,7 +5,7 @@ keywords = ["functional", "language", "type-theory", "proof-assistant"] license = "MIT" name = "kind2" repository = "https://github.com/Kindelia/Kind2" -version = "0.3.8" +version = "0.3.9" [[bin]] name = "kind2"