content: [package]
  name = "move-prover-boogie-backend"
  version = "0.1.0"
  authors = ["Diem Association <opensource@diem.com>"]
  description = "Move prover Boogie backend"
  license = "Apache-2.0"
  publish = false
  edition = "2021"
  
  [dependencies]
  anyhow = { workspace = true }
  async-trait = { workspace = true }
  codespan = { workspace = true }
  codespan-reporting = { workspace = true }
  futures = { workspace = true }
  itertools = { workspace = true }
  log = { workspace = true }
  move-binary-format = { workspace = true }
  move-command-line-common = { workspace = true }
  move-compiler = { workspace = true }
  move-core-types = { workspace = true }
  move-model = { workspace = true }
  move-prover-bytecode-pipeline = { workspace = true }
  move-stackless-bytecode = { workspace = true }
  num = { workspace = true }
  once_cell = { workspace = true }
  pretty = { workspace = true }
  rand = { workspace = true }
  regex = { workspace = true }
  serde = { workspace = true, features = ["derive"] }
  tera = { workspace = true }
  tokio = { workspace = true, features = ["full"] }
  