diff --git a/src/libcprover-rust/Cargo.toml b/src/libcprover-rust/Cargo.toml
index 5d362faa734..ea86fca94c8 100644
--- a/src/libcprover-rust/Cargo.toml
+++ b/src/libcprover-rust/Cargo.toml
@@ -7,6 +7,7 @@ repository = "https://github.com/diffblue/cbmc"
 documentation = "https://diffblue.github.io/cbmc/"
 license = "BSD-4-Clause"
 exclude = ["module_dependencies.txt", "Cargo.lock"]
+readme = "readme.md"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html