{
  "cksum": "c3237a40ddd2efc4a78cf70a8ba7eedec66840ed9ab128decc40e6249246fc6c",
  "crate_file": "haybale-0.7.2.crate",
  "crate_url": "https://static.crates.io/crates/haybale/haybale-0.7.2.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "boolector",
      "optional": false,
      "req": "^0.4.3",
      "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.9",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "env_logger",
      "optional": false,
      "req": "^0.10",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "itertools",
      "optional": false,
      "req": "^0.11",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "llvm-ir",
      "optional": false,
      "req": "^0.8.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "log",
      "optional": false,
      "req": "^0.4.20",
      "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-13-or-lower"
    ],
    "llvm-12-strict": [
      "llvm-12",
      "llvm-ir/llvm-12-strict"
    ],
    "llvm-13": [
      "llvm-ir/llvm-13",
      "llvm-13-or-lower",
      "llvm-13-or-greater"
    ],
    "llvm-13-or-greater": [
      "llvm-12-or-greater"
    ],
    "llvm-13-or-lower": [
      "llvm-14-or-lower"
    ],
    "llvm-13-strict": [
      "llvm-13",
      "llvm-ir/llvm-13-strict"
    ],
    "llvm-14": [
      "llvm-ir/llvm-14",
      "llvm-14-or-lower",
      "llvm-14-or-greater"
    ],
    "llvm-14-or-greater": [
      "llvm-13-or-greater"
    ],
    "llvm-14-or-lower": [],
    "llvm-14-strict": [
      "llvm-14",
      "llvm-ir/llvm-14-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": "2023-10-27T00:50:03Z",
  "vers": "0.7.2",
  "yanked": false
}