diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1e528d50b..51e130395 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,8 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## v0.5.3 -- 2023-01-24
+
 ### Added
 
 - A few productivity hacks in REPL (#557)
diff --git a/quint/package-lock.json b/quint/package-lock.json
index 2841a00b5..8349599e4 100644
--- a/quint/package-lock.json
+++ b/quint/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.5.2",
+  "version": "0.5.3",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint",
-      "version": "0.5.2",
+      "version": "0.5.3",
       "license": "Apache 2.0",
       "dependencies": {
         "@sweet-monads/either": "^3.0.1",
diff --git a/quint/package.json b/quint/package.json
index 6d826e2ac..0642a5a67 100644
--- a/quint/package.json
+++ b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.5.2",
+  "version": "0.5.3",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",