diff --git a/docs/book/src/hacl-rust/readme.md b/docs/book/src/hacl-rust/readme.md
index 2862e521..0b719519 100644
--- a/docs/book/src/hacl-rust/readme.md
+++ b/docs/book/src/hacl-rust/readme.md
@@ -2,9 +2,11 @@
 
 The `hacl-rust` crate provides bindings to the HACL C package in Rust.
 
-<!-- This documentation shows how to use `hacl-rust`.
-There are also [rustdocs] for full API documentation. -->
+See the [rust docs] for more information and get the create from [crates.io].
 
-> ⚠️ The Rust bindings are work in progress.
+```bash
+cargo add hacl
+```
 
-[rustdocs]: https://docs.rs/hacl-rust
+[rust docs]: https://cryspen.com/hacl-packages/rust/main/hacl/index.html
+[crates.io]: https://crates.io/crates/hacl