diff --git a/gradle.properties b/gradle.properties
index 054a249..41912a1 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,5 +1,5 @@
 group=com.certora
-version=0.0.2
+version=0.1.0
 kotlinVersion=1.8.21
 javaVersion=11
 detektVersion=1.23.1