diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
new file mode 100644
index 0000000000..dba5de4710
--- /dev/null
+++ b/RELEASE-NOTES.md
@@ -0,0 +1,2 @@
+## 0.16.4
+
diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml
index 93502a5762..6b31aee476 100644
--- a/mod-distribution/pom.xml
+++ b/mod-distribution/pom.xml
@@ -8,11 +8,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>
diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml
index e7fac752ef..39c8ec6f5c 100644
--- a/mod-infra/pom.xml
+++ b/mod-infra/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>infra</name>
diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml
index 09a9232061..029f42ecc1 100644
--- a/mod-tool/pom.xml
+++ b/mod-tool/pom.xml
@@ -4,14 +4,14 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tool</name>
diff --git a/pom.xml b/pom.xml
index b0a6be094d..59442ba5cf 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.16.4-SNAPSHOT</version>
+    <version>0.16.4</version>
 
     <name>APALACHE project</name>
     <url>/~https://github.com/informalsystems/apalache</url>
diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml
index 0a201e7279..8accf03e26 100644
--- a/tla-assignments/pom.xml
+++ b/tla-assignments/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>
diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml
index f37f539ef1..9803e08ad2 100644
--- a/tla-bmcmt/pom.xml
+++ b/tla-bmcmt/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>
diff --git a/tla-io/pom.xml b/tla-io/pom.xml
index e6c2950da6..366453ae1b 100644
--- a/tla-io/pom.xml
+++ b/tla-io/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>tla-io</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tla-io</name>
diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml
index 21a2724735..2c01554648 100644
--- a/tla-pp/pom.xml
+++ b/tla-pp/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>
diff --git a/tla-types/pom.xml b/tla-types/pom.xml
index a26300be2e..fd43df52b2 100644
--- a/tla-types/pom.xml
+++ b/tla-types/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>
diff --git a/tlair/pom.xml b/tlair/pom.xml
index e369003e86..bed622f39e 100644
--- a/tlair/pom.xml
+++ b/tlair/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.16.4-SNAPSHOT</version>
+        <version>0.16.4</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>