Bump version and update changelog

rzk-lang · Oct 7, 2023 · aac000f · aac000f
1 parent 3aa8fd3
commit aac000f
Show file tree

Hide file tree

Showing 5 changed files with 37 additions and 15 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -1,8 +1,8 @@
 cff-version: 1.2.0
 authors:
-- family-names: Kudasov
-  given-names: Nikolai
-  orcid: "https://orcid.org/0000-0001-6572-7292"
+  - family-names: Kudasov
+    given-names: Nikolai
+    orcid: "https://orcid.org/0000-0001-6572-7292"
 title: "Rzk: a  proof assistant for synthetic $\\infty$-categories"
-version: 0.6.6
+version: 0.6.7
 url: "https://github.com/rzk-lang/rzk"
diff --git a/docs/docs/CHANGELOG.md b/docs/docs/CHANGELOG.md
@@ -6,6 +6,17 @@ 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.6.7 — 2023-10-07
+
+- Fix build on some systems (fix `BNFC:bnfc` executable dependency, see [#125](https://github.com/rzk-lang/rzk/pull/125))
+- Improve Rzk Playground (see [#124](https://github.com/rzk-lang/rzk/pull/124) by @deemp):
+  - Add `snippet_url` parameter
+  - Migrated from NextJS to Vite
+  - Use `setText` on `params` attribute
+- Slightly improve documentation:
+  - Add links to Rzk Zulip (see [#131](https://github.com/rzk-lang/rzk/pull/131))
+  - Add `cabal update` to instructions (see [`3aa8fd3`](https://github.com/rzk-lang/rzk/commit/3aa8fd38902fc8cbb29f86122410d24398a15b0b))
+
 ## v0.6.6 — 2023-10-02
 
 - Fix builds on Windows (and macOS) (see [#121](https://github.com/rzk-lang/rzk/pull/121))

diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md
@@ -6,6 +6,17 @@ 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.6.7 — 2023-10-07
+
+- Fix build on some systems (fix `BNFC:bnfc` executable dependency, see [#125](https://github.com/rzk-lang/rzk/pull/125))
+- Improve Rzk Playground (see [#124](https://github.com/rzk-lang/rzk/pull/124) by @deemp):
+  - Add `snippet_url` parameter
+  - Migrated from NextJS to Vite
+  - Use `setText` on `params` attribute
+- Slightly improve documentation:
+  - Add links to Rzk Zulip (see [#131](https://github.com/rzk-lang/rzk/pull/131))
+  - Add `cabal update` to instructions (see [`3aa8fd3`](https://github.com/rzk-lang/rzk/commit/3aa8fd38902fc8cbb29f86122410d24398a15b0b))
+
 ## v0.6.6 — 2023-10-02
 
 - Fix builds on Windows (and macOS) (see [#121](https://github.com/rzk-lang/rzk/pull/121))

diff --git a/rzk/package.yaml b/rzk/package.yaml
@@ -1,10 +1,10 @@
 name: rzk
-version: 0.6.6
-github: 'rzk-lang/rzk'
+version: 0.6.7
+github: "rzk-lang/rzk"
 license: BSD3
-author: 'Nikolai Kudasov'
-maintainer: '[email protected]'
-copyright: '2023 Nikolai Kudasov'
+author: "Nikolai Kudasov"
+maintainer: "[email protected]"
+copyright: "2023 Nikolai Kudasov"
 
 extra-source-files:
   - README.md
@@ -28,14 +28,14 @@ flags:
 
 custom-setup:
   dependencies:
-    base:    ">= 4.11.0.0 && < 5.0"
-    Cabal:   ">= 2.4.0.1 && < 4.0"
+    base: ">= 4.11.0.0 && < 5.0"
+    Cabal: ">= 2.4.0.1 && < 4.0"
     process: ">= 1.6.3.0"
 
 build-tools:
-  alex:   ">= 3.2.4"
-  happy:  ">= 1.19.9"
-  BNFC:bnfc:   ">= 2.9.4.1"
+  alex: ">= 3.2.4"
+  happy: ">= 1.19.9"
+  BNFC:bnfc: ">= 2.9.4.1"
 
 dependencies:
   array: ">= 0.5.3.0"

diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.24
 -- see: https://github.com/sol/hpack
 
 name:           rzk
-version:        0.6.6
+version:        0.6.7
 synopsis:       An experimental proof assistant for synthetic ∞-categories
 description:    Please see the README on GitHub at <https://github.com/rzk-lang/rzk#readme>
 category:       Dependent Types