soft3/radio/audit/2026-10-12-bao-bounded-proof/nostd-parent/Cargo.toml.txt

[package]
name = "bao-proof-nostd-probe"
version = "0.0.0"
edition = "2024"
[workspace]
[dependencies]
cyber-bao = { path = "/tmp/radio-bao-proof-parent-b933/cyber-bao", default-features = false }
bin
name = "link-probe"
path = "src/main.rs"