From aac000f0b9280190eda755e9d24a3d3361b67d5a Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Sat, 7 Oct 2023 23:05:51 +0300 Subject: [PATCH] Bump version and update changelog --- CITATION.cff | 8 ++++---- docs/docs/CHANGELOG.md | 11 +++++++++++ rzk/ChangeLog.md | 11 +++++++++++ rzk/package.yaml | 20 ++++++++++---------- rzk/rzk.cabal | 2 +- 5 files changed, 37 insertions(+), 15 deletions(-) diff --git a/CITATION.cff b/CITATION.cff index 3518f0999..2b8940092 100644 --- 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 index 39a65be92..58a024af4 100644 --- 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 index 39a65be92..58a024af4 100644 --- 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 index 2f9dccdd4..1a92ad2a3 100644 --- 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: 'nickolay.kudasov@gmail.com' -copyright: '2023 Nikolai Kudasov' +author: "Nikolai Kudasov" +maintainer: "nickolay.kudasov@gmail.com" +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 index b11b1ce2d..e5a48f94f 100644 --- 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 category: Dependent Types