diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 5dd4a909..fd1b9cc3 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -12,7 +12,7 @@ build:
     python: "3.10"
     # You can also specify other tool versions:
     # nodejs: "16"
-    rust: "1.64"
+    rust: "1.70"
     # golang: "1.17"
   apt_packages:
     - graphviz
diff --git a/Cargo.lock b/Cargo.lock
index 9d31d4af..af973ee1 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -312,7 +312,7 @@ dependencies = [
 
 [[package]]
 name = "egglog-python"
-version = "0.5.1"
+version = "0.6.0"
 dependencies = [
  "egglog",
  "lalrpop-util 0.19.12",
diff --git a/Cargo.toml b/Cargo.toml
index 6dee8d3d..99d87ce4 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "egglog-python"
-version = "0.5.1"
+version = "0.6.0"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/docs/changelog.md b/docs/changelog.md
index 53e2fec5..d8f6de38 100644
--- a/docs/changelog.md
+++ b/docs/changelog.md
@@ -4,18 +4,10 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 ## Unreleased
 
-- Bump [egglog dep](https://github.com/egraphs-good/egglog/compare/c83fc750878755eb610a314da90f9273b3bfe25d...45d05e727cceaab13413b4e51a60ee3be9fbf403)
-
-### Breaking Changes
-
-- Switches `RunReport` to include more granular timings
+- Bump [egglog dep](https://github.com/egraphs-good/egglog/compare/4d67f262a6f27aa5cfb62a2cfc7df968959105df...45d05e727cceaab13413b4e51a60ee3be9fbf403)
 
 ### New Features
 
-- Add ability to pass `seminaive` flag to Egraph to replicate `--naive` CLI flag [#48](https://github.com/metadsl/egglog-python/pull/48)
-- Add ability to inline leaves $n$ times instead of just once for visualization [#48](https://github.com/metadsl/egglog-python/pull/48)
-- Add `Relation` and `PrintOverallStatistics` low level commands [#46](https://github.com/metadsl/egglog-python/pull/46)
-- Adds `count-matches` and `replace` string commands [#46](https://github.com/metadsl/egglog-python/pull/46)
 - Adds ability for custom user defined types in a union for proper static typing with conversions [#49](https://github.com/metadsl/egglog-python/pull/49)
 - Adds `py_eval` function to `EGraph` as a helper to eval Python code. [#49](https://github.com/metadsl/egglog-python/pull/49)
 - Adds on hover behavior for edges in graphviz SVG output to make them easier to trace [#49](https://github.com/metadsl/egglog-python/pull/49)
@@ -26,6 +18,21 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 - Clean up example in tutorial with demand based expression generation [#49](https://github.com/metadsl/egglog-python/pull/49)
 
+## 0.6.0 (2023-09-20)
+
+- Bump [egglog dep](https://github.com/egraphs-good/egglog/compare/c83fc750878755eb610a314da90f9273b3bfe25d...4d67f262a6f27aa5cfb62a2cfc7df968959105df)
+
+### Breaking Changes
+
+- Switches `RunReport` to include more granular timings
+
+### New Features
+
+- Add ability to pass `seminaive` flag to Egraph to replicate `--naive` CLI flag [#48](https://github.com/metadsl/egglog-python/pull/48)
+- Add ability to inline leaves $n$ times instead of just once for visualization [#48](https://github.com/metadsl/egglog-python/pull/48)
+- Add `Relation` and `PrintOverallStatistics` low level commands [#46](https://github.com/metadsl/egglog-python/pull/46)
+- Adds `count-matches` and `replace` string commands [#46](https://github.com/metadsl/egglog-python/pull/46)
+
 ### Uncategorized
 
 - Added initial supported for Python objects [#31](https://github.com/metadsl/egglog-python/pull/31)