diff --git a/Cargo.lock b/Cargo.lock
index 47bc3f8c..e0e2f6d7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -317,7 +317,7 @@ dependencies = [
 
 [[package]]
 name = "egglog-python"
-version = "0.4.0"
+version = "0.5.1"
 dependencies = [
  "egglog",
  "lalrpop-util 0.19.12",
diff --git a/Cargo.toml b/Cargo.toml
index 07cd1942..b8ec88f2 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "egglog-python"
-version = "0.4.0"
+version = "0.5.1"
 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 05248e1d..b6f05ab3 100644
--- a/docs/changelog.md
+++ b/docs/changelog.md
@@ -4,7 +4,7 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 ## Unreleased
 
-## 0.6.0 (2023-07-18)
+## 0.5.1 (2023-07-18)
 
 - Added support for negation on `f64` sort
 - Upgraded `egg-smol` dependency ([changes](https://github.com/saulshanabrook/egg-smol/compare/4b7ec0a640b430bc86ec1d9f79e38a06e62c0cb7...353c4387640019bd2066991ee0488dc6d5c54168))