From 40974f327f8ce76d76f1d5ca02d5e0a2eba9e9d7 Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Tue, 20 Jun 2023 13:33:07 +0300
Subject: [PATCH] Bump version and update changelog

---
 CITATION.cff     | 2 +-
 rzk/ChangeLog.md | 8 ++++++++
 rzk/package.yaml | 2 +-
 rzk/rzk.cabal    | 2 +-
 rzk/rzk.nix      | 2 +-
 5 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/CITATION.cff b/CITATION.cff
index 954c3d534..e55a5711a 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -4,5 +4,5 @@ authors:
   given-names: Nikolai
   orcid: "https://orcid.org/0000-0001-6572-7292"
 title: "rzk: a prototype proof assistant for synthetic $\\infty$-categories"
-version: 0.1.0.0
+version: 0.5
 url: "https://github.com/fizruk/rzk"
diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md
index d581f2b04..124b457c4 100644
--- a/rzk/ChangeLog.md
+++ b/rzk/ChangeLog.md
@@ -6,6 +6,14 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to the
 [Haskell Package Versioning Policy](https://pvp.haskell.org/).
 
+## v0.5 — 2022-06-20
+
+This version contains the following changes:
+
+- `Unit` type (with `unit` value) (see [ede02611]( https://github.com/fizruk/rzk/commit/ede02611 ) and [bf9d6cd9]( https://github.com/fizruk/rzk/commit/bf9d6cd9 );
+- Add basic tokenizer support via `rzk tokenize` (see [#53]( https://github.com/fizruk/rzk/pull/53 ));
+- Add location information for shadowing warnings and duplicate definition errors (see [bf9d6cd9]( https://github.com/fizruk/rzk/commit/bf9d6cd9 )).
+
 ## v0.4.1 — 2022-06-16
 
 This is version contains minor changes, primarily in tools around rzk:
diff --git a/rzk/package.yaml b/rzk/package.yaml
index be573d515..6147e5294 100644
--- a/rzk/package.yaml
+++ b/rzk/package.yaml
@@ -1,5 +1,5 @@
 name:                rzk
-version:             0.4.1.1
+version:             0.5
 github:              "fizruk/rzk"
 license:             BSD3
 author:              "Nikolai Kudasov"
diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal
index 536745d52..764ab3f42 100644
--- a/rzk/rzk.cabal
+++ b/rzk/rzk.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rzk
-version:        0.4.1.1
+version:        0.5
 synopsis:       An experimental proof assistant for synthetic ∞-categories
 description:    Please see the README on GitHub at <https://github.com/fizruk/rzk#readme>
 category:       Dependent Types
diff --git a/rzk/rzk.nix b/rzk/rzk.nix
index 652c4ac85..3686aef3e 100644
--- a/rzk/rzk.nix
+++ b/rzk/rzk.nix
@@ -3,7 +3,7 @@
 }:
 mkDerivation {
   pname = "rzk";
-  version = "0.4.1.1";
+  version = "0.5";
   src = ./.;
   isLibrary = true;
   isExecutable = true;