From 14ce8c60d165005eae5d3e23fbe790f738de6f6a Mon Sep 17 00:00:00 2001
From: Shon Feder <shon@informal.systems>
Date: Fri, 13 Jan 2023 08:54:46 -0500
Subject: [PATCH] Release 0.5.1

---
 CHANGELOG.md            | 6 +++---
 quint/package-lock.json | 4 ++--
 quint/package.json      | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1823891d4..0868fced7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,7 +5,7 @@ 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).
 
-## UNRELEASED
+## v0.5.1 -- 2023-01-13
 
 ### Fixed
 
@@ -14,11 +14,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Improved how documentation is produced for VSCode compatibility (#485)
 - Enable access to builtin documentation parsed from `builtin.qnt` (#485)
 - The effect and mode checkers no longer complain about runs (#505)
+- Fixed missing lodash dependency (#484)
 
 ### Added
 
-- Fixed missing lodash dependency (#484)
-- A tutorial on integers (#484)
+- A tutorial on integers (#495)
 
 ## v0.5.0 -- 2022-12-22
 
diff --git a/quint/package-lock.json b/quint/package-lock.json
index 4edcd8e64..9fc1efdc8 100644
--- a/quint/package-lock.json
+++ b/quint/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.5.0",
+  "version": "0.5.1",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint",
-      "version": "0.5.0",
+      "version": "0.5.1",
       "license": "Apache 2.0",
       "dependencies": {
         "@sweet-monads/either": "^3.0.1",
diff --git a/quint/package.json b/quint/package.json
index e683420a1..9694f3feb 100644
--- a/quint/package.json
+++ b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.5.0",
+  "version": "0.5.1",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",