From 041f9283fc514bae96e0850818b9f90ac2dcbf11 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gabrielle=20Guimar=C3=A3es=20de=20Oliveira?= Date: Sun, 2 Apr 2023 13:52:19 -0300 Subject: [PATCH] build: bump version to 0.3.8 --- 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 3a671968..e51bf5dd 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.7" +version = "0.3.8" [[bin]] name = "kind2"