diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -6,6 +6,17 @@
 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.cabal b/rzk.cabal
--- a/rzk.cabal
+++ b/rzk.cabal
@@ -5,7 +5,7 @@
 -- 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
@@ -61,7 +61,7 @@
       alex >=3.2.4
     , happy >=1.19.9
   build-tool-depends:
-      BNFC:BNFC >=2.9.4.1
+      BNFC:bnfc >=2.9.4.1
   build-depends:
       Glob >=0.9.3
     , array >=0.5.3.0
@@ -104,7 +104,7 @@
       alex >=3.2.4
     , happy >=1.19.9
   build-tool-depends:
-      BNFC:BNFC >=2.9.4.1
+      BNFC:bnfc >=2.9.4.1
   build-depends:
       Glob >=0.9.3
     , array >=0.5.3.0
@@ -133,7 +133,7 @@
       alex >=3.2.4
     , happy >=1.19.9
   build-tool-depends:
-      BNFC:BNFC >=2.9.4.1
+      BNFC:bnfc >=2.9.4.1
   build-depends:
       Glob
     , QuickCheck
@@ -162,7 +162,7 @@
       alex >=3.2.4
     , happy >=1.19.9
   build-tool-depends:
-      BNFC:BNFC >=2.9.4.1
+      BNFC:bnfc >=2.9.4.1
   build-depends:
       Glob >=0.9.3
     , array >=0.5.3.0