soft3/radio/audit/2026-10-13-audit-cargo-packaging/code-input/inputs/011.txt

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