{
  "cksum": "6bd5966245b708046cf8e741c437b86517ff10e991fd2fd3faa1051169d107f9",
  "crate_file": "mv-prover-boogie-backend-0.3.2.crate",
  "crate_url": "https://static.crates.io/crates/mv-prover-boogie-backend/mv-prover-boogie-backend-0.3.2.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "anyhow",
      "optional": false,
      "req": "^1.0.52",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "async-trait",
      "optional": false,
      "req": "^0.1.42",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "codespan",
      "optional": false,
      "req": "^0.11.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "codespan-reporting",
      "optional": false,
      "req": "^0.11.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "futures",
      "optional": false,
      "req": "^0.3.12",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "itertools",
      "optional": false,
      "req": "^0.10.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "log",
      "optional": false,
      "req": "^0.4.14",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "move-command-line-common",
      "optional": false,
      "req": "^0.3.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "move-stackless-bytecode",
      "optional": false,
      "req": "^0.3.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-binary-format",
      "optional": false,
      "req": "^0.3.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-core-types",
      "optional": false,
      "req": "^0.3.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-model",
      "optional": false,
      "req": "^0.3.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "num",
      "optional": false,
      "req": "^0.4.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "once_cell",
      "optional": false,
      "req": "^1.7.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "pretty",
      "optional": false,
      "req": "^0.10.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "rand",
      "optional": false,
      "req": "^0.8.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "regex",
      "optional": false,
      "req": "^1.5.5",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "serde",
      "optional": false,
      "req": "^1.0.124",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "serde_json",
      "optional": false,
      "req": "^1.0.64",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "tera",
      "optional": false,
      "req": "^1.16.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "full"
      ],
      "kind": "normal",
      "name": "tokio",
      "optional": false,
      "req": "^1.18.2",
      "target": null
    }
  ],
  "features": {},
  "index_path": "mv/-p/mv-prover-boogie-backend",
  "name": "mv-prover-boogie-backend",
  "pubtime": "2022-08-23T18:57:35Z",
  "vers": "0.3.2",
  "yanked": true
}