diff --git a/configure.sh b/configure.sh
index 3b320d6..9608660 100755
--- a/configure.sh
+++ b/configure.sh
@@ -1,8 +1,8 @@
 #!/bin/bash
 
 Z3_VERSION=4.12.1
-KIND2_VERSION=1.8.0
-SERVER_VERSION=0.1.3
+KIND2_VERSION=1.9.0
+SERVER_VERSION=0.1.4
 
 ARCH=$(uname -m)