# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
= 4
[[]]
= "softcore-armv9a"
= "0.6.0"
= [
"softcore-prelude",
]
[[]]
= "softcore-prelude"
= "0.6.0"
= "registry+https://github.com/rust-lang/crates.io-index"
= "5ee669ca6593e1235d44cca562b6121cb631fbdd1c09e93c0a229998e1e6867b"