From 18b4d77d7154d198ec810f4acacb1323b89ff294 Mon Sep 17 00:00:00 2001
From: Joris Dral <joris@well-typed.com>
Date: Mon, 25 Mar 2024 11:25:51 +0100
Subject: [PATCH] Release `quickcheck-lockstep-0.5.0`

---
 CHANGELOG.md              | 2 +-
 quickcheck-lockstep.cabal | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index da48f1c..b8b4a14 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Revision history for quickcheck-lockstep
 
-## next release -- ????-??-??
+## 0.5.0 -- 2024-03-25
 
 * BREAKING: Update `quickcheck-dynamic` dependency to `>=3.4.1`. The main change
   is that `quickcheck-dynamic`'s `StateModel` class now has an associated type
diff --git a/quickcheck-lockstep.cabal b/quickcheck-lockstep.cabal
index db0aa86..9539322 100644
--- a/quickcheck-lockstep.cabal
+++ b/quickcheck-lockstep.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               quickcheck-lockstep
-version:            0.4.1
+version:            0.5.0
 license:            BSD-3-Clause
 license-file:       LICENSE
 author:             Edsko de Vries