From 6467f1773f9aca5eb17dd0b731acc4c3c64e89af Mon Sep 17 00:00:00 2001 From: Christian Schilling Date: Fri, 31 Jan 2025 22:36:18 +0100 Subject: [PATCH] v0.27.1 --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 0e34e883f..b598646d1 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "ReachabilityAnalysis" uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f" -version = "0.27.0" +version = "0.27.1" [deps] CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86"