diff --git a/README.md b/README.md
index 4616bf5a5..230146c2b 100644
--- a/README.md
+++ b/README.md
@@ -3,8 +3,8 @@
 <a href="https://github.com/novifinancial/winterfell/blob/main/LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg"></a>
 <img src="https://github.com/novifinancial/winterfell/workflows/CI/badge.svg?branch=main">
 <a href="https://deps.rs/repo/github/novifinancial/winterfell"><img src="https://deps.rs/repo/github/novifinancial/winterfell/status.svg"></a>
-<img src="https://img.shields.io/badge/prover-rustc_1.78+-lightgray.svg">
-<img src="https://img.shields.io/badge/verifier-rustc_1.78+-lightgray.svg">
+<img src="https://img.shields.io/badge/prover-rustc_1.82+-lightgray.svg">
+<img src="https://img.shields.io/badge/verifier-rustc_1.82+-lightgray.svg">
 <a href="https://crates.io/crates/winterfell"><img src="https://img.shields.io/crates/v/winterfell"></a>
 
 A STARK prover and verifier for arbitrary computations.
diff --git a/prover/Cargo.toml b/prover/Cargo.toml
index 85b5dbcd7..6dd616a1a 100644
--- a/prover/Cargo.toml
+++ b/prover/Cargo.toml
@@ -34,7 +34,7 @@ air = { version = "0.10", path = "../air", package = "winter-air", default-featu
 crypto = { version = "0.10", path = "../crypto", package = "winter-crypto", default-features = false }
 fri = { version = "0.10", path = '../fri', package = "winter-fri", default-features = false }
 math = { version = "0.10", path = "../math", package = "winter-math", default-features = false }
-maybe_async = { path = "../utils/maybe_async" , package = "winter-maybe-async" }
+maybe_async = { version = "0.10", path = "../utils/maybe_async" , package = "winter-maybe-async" }
 tracing = { version = "0.1", default-features = false, features = ["attributes"]}
 utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }