{
  "cksum": "68250d35312b0ecc5e7f76433b49fa81656e7795cc02ae80e85430cdc96d2c40",
  "crate_file": "mv-prover-0.2.0.crate",
  "crate_url": "https://static.crates.io/crates/mv-prover/mv-prover-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": "atty",
      "optional": false,
      "req": "^0.2.14",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "clap",
      "optional": false,
      "req": "^3.1.8",
      "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": "dev",
      "name": "datatest-stable",
      "optional": false,
      "req": "^0.1.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": "hex",
      "optional": false,
      "req": "^0.4.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "itertools",
      "optional": false,
      "req": "^0.10.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "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-abigen",
      "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-compiler",
      "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-docgen",
      "optional": false,
      "req": "^0.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-errmapgen",
      "optional": false,
      "req": "^0.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "mv-ir-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": "mv-prover-boogie-backend",
      "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": [
        "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": "dev",
      "name": "shell-words",
      "optional": false,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "simplelog",
      "optional": false,
      "req": "^0.9.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "tempfile",
      "optional": false,
      "req": "^3.2.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "full"
      ],
      "kind": "normal",
      "name": "tokio",
      "optional": false,
      "req": "^1.8.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "toml",
      "optional": false,
      "req": "^0.5.8",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "walkdir",
      "optional": false,
      "req": "^2.3.1",
      "target": null
    }
  ],
  "features": {},
  "index_path": "mv/-p/mv-prover",
  "name": "mv-prover",
  "pubtime": "2022-07-22T01:45:21Z",
  "vers": "0.2.0",
  "yanked": true
}