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