# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
= 4
[[]]
= "core-multiple-1"
= "0.1.1"
= "registry+https://github.com/rust-lang/crates.io-index"
= "b1948eb2358aa877bb8329425c4ab887d06554a34e48f4b0876c38e6f3e32bfd"
[[]]
= "prover-multiple-3"
= "0.1.1"
= [
"core-multiple-1",
]