From f025eb4d4b93542d197903438de527b5a6409dc8 Mon Sep 17 00:00:00 2001 From: Andrew Zhu Date: Wed, 8 Nov 2023 15:45:55 -0500 Subject: [PATCH] chore: bump version --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 1df33ed..17721ad 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "kani" -version = "0.6.0" +version = "0.6.1" authors = [ { name = "Andrew Zhu", email = "andrew@zhu.codes" }, { name = "Liam Dugan", email = "ldugan@seas.upenn.edu" },