From ea402b24e0f42934159540118200215dc5e71434 Mon Sep 17 00:00:00 2001 From: Will Crichton Date: Thu, 12 Sep 2024 12:11:26 -0700 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8acc7be47..a2f127218 100644 --- a/README.md +++ b/README.md @@ -17,9 +17,9 @@ Aquascope is a tool that generates interactive visualizations of Rust programs. We provide an [mdBook](https://rust-lang.github.io/mdBook/) preprocessor that embeds Aquascope diagrams into an mdBook. To use it, you need to install the `mdbook-aquascope` and `cargo-aquascope` binaries as follows. ```sh -cargo install mdbook-aquascope --locked --version 0.3.0 +cargo install mdbook-aquascope --locked --version 0.3.3 rustup toolchain install nightly-2023-08-25 -c rust-src rustc-dev llvm-tools-preview miri -cargo +nightly-2023-08-25 install aquascope_front --git https://github.com/cognitive-engineering-lab/aquascope --tag v0.3.0 --locked +cargo +nightly-2023-08-25 install aquascope_front --git https://github.com/cognitive-engineering-lab/aquascope --tag v0.3.3 --locked cargo +nightly-2023-08-25 miri setup ```