diff --git a/API/pom.xml b/API/pom.xml
index 590ba7562d..b5456d6010 100644
--- a/API/pom.xml
+++ b/API/pom.xml
@@ -6,7 +6,7 @@
     <parent>
         <artifactId>parent</artifactId>
         <groupId>org.kframework.k</groupId>
-        <version>4.0-beta</version>
+        <version>4.0.0-SNAPSHOT</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
     <modelVersion>4.0.0</modelVersion>
diff --git a/coq-backend/pom.xml b/coq-backend/pom.xml
index 78d17edbb8..e6e1a7fe96 100644
--- a/coq-backend/pom.xml
+++ b/coq-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>coq-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/java-backend/pom.xml b/java-backend/pom.xml
index eb3c641509..2dfbec8c90 100644
--- a/java-backend/pom.xml
+++ b/java-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
index 11228be301..25a2d283f1 100644
--- a/k-distribution/pom.xml
+++ b/k-distribution/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>
diff --git a/kernel/pom.xml b/kernel/pom.xml
index 9e36b2b456..7ccd1a9086 100644
--- a/kernel/pom.xml
+++ b/kernel/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>
diff --git a/kore/pom.xml b/kore/pom.xml
index 2fc7e8f26a..57fa9ccda5 100644
--- a/kore/pom.xml
+++ b/kore/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>
diff --git a/pom.xml b/pom.xml
index b2cbe2bdb0..faaf1d52f3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -6,7 +6,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>4.0-beta</version>
+  <version>4.0.0-SNAPSHOT</version>
   <name>K Framework Tool Parent</name>
 
   <modules>