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