diff --git a/proptest-derive/CHANGELOG.md b/proptest-derive/CHANGELOG.md
index 15061d9a..c3949f42 100644
--- a/proptest-derive/CHANGELOG.md
+++ b/proptest-derive/CHANGELOG.md
@@ -1,5 +1,18 @@
 ## Unreleased
 
+## 0.5.1
+
+- Fix non-local impl nightly warning with allow(non_local_definitions)
+  ((\#531)[https://github.com/proptest-rs/proptest/pull/531])
+- Adds support for re-exporting crate. `proptest-derive` now works correctly
+  when `proptest` is re-exported from another crate. This removes the
+  requirement for `proptest` to be a direct dependency.
+  ((\#530)[https://github.com/proptest-rs/proptest/pull/530])
+- Fix bounds generation for generics in derive(Arbitrary). The implementation
+  of UseTracker expects that iteration over items of used_map gives items in
+  insertion order. However, the order of BTreeSet is based on Ord, not
+  insertion. ((\#511)[https://github.com/proptest-rs/proptest/pull/511])
+
 ## 0.5
 
 ### Features
diff --git a/proptest-derive/Cargo.toml b/proptest-derive/Cargo.toml
index f7d6ba3e..6b3992de 100644
--- a/proptest-derive/Cargo.toml
+++ b/proptest-derive/Cargo.toml
@@ -1,15 +1,15 @@
 [package]
-name          = "proptest-derive"
-version       = "0.5.0"
-authors       = ["Mazdak Farrokhzad <twingoow@gmail.com>"]
-license       = "MIT OR Apache-2.0"
-readme        = "README.md"
+name = "proptest-derive"
+version = "0.5.1"
+authors = ["Mazdak Farrokhzad <twingoow@gmail.com>"]
+license = "MIT OR Apache-2.0"
+readme = "README.md"
 
-repository    = "https://github.com/proptest-rs/proptest"
+repository = "https://github.com/proptest-rs/proptest"
 documentation = "https://proptest-rs.github.io/proptest/proptest-derive/index.html"
 
-keywords      = ["derive", "arbitrary", "proptest", "testing", "quickcheck"]
-categories    = ["development-tools::testing"]
+keywords = ["derive", "arbitrary", "proptest", "testing", "quickcheck"]
+categories = ["development-tools::testing"]
 
 description = """
 Custom-derive for the Arbitrary trait of proptest.