{
  "cksum": "41ae8f097f46adba6a9def33b90584e1dc8b8192d2bc3e56f872beda3de7c4a1",
  "crate_file": "haybale-0.7.0.crate",
  "crate_url": "https://static.crates.io/crates/haybale/haybale-0.7.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "boolector",
      "optional": false,
      "req": "^0.4.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "cpp_demangle",
      "optional": false,
      "req": "^0.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "either",
      "optional": false,
      "req": "^1.6",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "env_logger",
      "optional": false,
      "req": "^0.8",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "itertools",
      "optional": false,
      "req": "^0.10",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "llvm-ir",
      "optional": false,
      "req": "^0.8.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "log",
      "optional": false,
      "req": "^0.4.8",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "reduce",
      "optional": false,
      "req": "^0.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "rustc-demangle",
      "optional": false,
      "req": "^0.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "rustversion",
      "optional": false,
      "req": "^1.0",
      "target": null
    }
  ],
  "features": {
    "llvm-10": [
      "llvm-ir/llvm-10",
      "llvm-10-or-lower",
      "llvm-10-or-greater"
    ],
    "llvm-10-or-greater": [
      "llvm-9-or-greater"
    ],
    "llvm-10-or-lower": [
      "llvm-11-or-lower"
    ],
    "llvm-10-strict": [
      "llvm-10",
      "llvm-ir/llvm-10-strict"
    ],
    "llvm-11": [
      "llvm-ir/llvm-11",
      "llvm-11-or-lower",
      "llvm-11-or-greater"
    ],
    "llvm-11-or-greater": [
      "llvm-10-or-greater"
    ],
    "llvm-11-or-lower": [
      "llvm-12-or-lower"
    ],
    "llvm-11-strict": [
      "llvm-11",
      "llvm-ir/llvm-11-strict"
    ],
    "llvm-12": [
      "llvm-ir/llvm-12",
      "llvm-12-or-lower",
      "llvm-12-or-greater"
    ],
    "llvm-12-or-greater": [
      "llvm-11-or-greater"
    ],
    "llvm-12-or-lower": [],
    "llvm-12-strict": [
      "llvm-12",
      "llvm-ir/llvm-12-strict"
    ],
    "llvm-9": [
      "llvm-ir/llvm-9",
      "llvm-9-or-lower",
      "llvm-9-or-greater"
    ],
    "llvm-9-or-greater": [],
    "llvm-9-or-lower": [
      "llvm-10-or-lower"
    ],
    "llvm-9-strict": [
      "llvm-9",
      "llvm-ir/llvm-9-strict"
    ],
    "vendor-boolector": [
      "boolector/vendor-lgl"
    ]
  },
  "index_path": "ha/yb/haybale",
  "name": "haybale",
  "pubtime": "2021-08-26T17:40:40Z",
  "vers": "0.7.0",
  "yanked": false
}