{
  "cksum": "e03af1358b3acb5206b59a94d90521d0e3d4c0ba69755e2c2e23c1ded5a7d4ff",
  "crate_file": "mv-prover-boogie-backend-0.2.0.crate",
  "crate_url": "https://static.crates.io/crates/mv-prover-boogie-backend/mv-prover-boogie-backend-0.2.0.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.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "move-stackless-bytecode",
      "optional": false,
      "req": "^0.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-binary-format",
      "optional": false,
      "req": "^0.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-core-types",
      "optional": false,
      "req": "^0.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-model",
      "optional": false,
      "req": "^0.2.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.4.3",
      "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.7.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "full"
      ],
      "kind": "normal",
      "name": "tokio",
      "optional": false,
      "req": "^1.8.1",
      "target": null
    }
  ],
  "features": {},
  "index_path": "mv/-p/mv-prover-boogie-backend",
  "name": "mv-prover-boogie-backend",
  "pubtime": "2022-07-22T01:43:56Z",
  "vers": "0.2.0",
  "yanked": true
}