From 88f4a578a5c4927f83d0a0a584a20ce07127cb13 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Wed, 26 Feb 2025 17:49:25 -0600
Subject: [PATCH] Update Kind 2 version to v2.3.0

---
 configure.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.sh b/configure.sh
index c4fae35..bdd77a4 100755
--- a/configure.sh
+++ b/configure.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 Z3_VERSION=4.13.0
-KIND2_VERSION=2.2.0
+KIND2_VERSION=2.3.0
 SERVER_VERSION=0.1.10
 
 ARCH=$(uname -m)