{"name":"haybale","vers":"0.1.0","deps":[{"name":"boolector","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"24089b5e8b23546f30feb7c2a5332621eb14e872041c0078783bead8e60ba296","features":{},"yanked":false,"pubtime":"2019-11-25T19:14:09Z"}
{"name":"haybale","vers":"0.1.1","deps":[{"name":"boolector","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b2a6fea134be50131ed22c05a34108baf9f8009b269e256d4e3b3f477579b51","features":{},"yanked":false,"pubtime":"2019-11-26T18:04:54Z"}
{"name":"haybale","vers":"0.1.2","deps":[{"name":"boolector","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fded3cfe63bafb09452d5c7368d66ff6403e54a8b63cd0c8205c8a071f6d7247","features":{},"yanked":false,"pubtime":"2019-12-18T22:04:02Z"}
{"name":"haybale","vers":"0.1.3","deps":[{"name":"boolector","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0643900344f75adadf39cf3b34f9f2e437397870e906b5f74046022755a99c6c","features":{},"yanked":false,"pubtime":"2020-01-01T21:58:54Z"}
{"name":"haybale","vers":"0.2.0","deps":[{"name":"boolector","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fc5f2b5bee4ab5996bfbd7a86aa0fd8866f861ebf8ba9cb4c224206a8cfe5186","features":{},"yanked":false,"pubtime":"2020-01-08T23:57:56Z"}
{"name":"haybale","vers":"0.2.1","deps":[{"name":"boolector","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a6caa0e666bda63f0882d42d6e4f8f6b0bfdd8d24b6c662d70940a066c1c81d9","features":{},"yanked":false,"pubtime":"2020-01-16T00:26:50Z"}
{"name":"haybale","vers":"0.3.0","deps":[{"name":"boolector","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"812fcc06e68493403e7ddbf405edaece85b9b2d405ada7f66d0b9663de2ea8bd","features":{},"yanked":false,"pubtime":"2020-02-05T19:57:36Z"}
{"name":"haybale","vers":"0.3.1","deps":[{"name":"boolector","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"db43b2b51033dccaf75e7adaf0fcb2f9288957f222b6d15fa9ec1317460d8725","features":{},"yanked":false,"pubtime":"2020-02-05T21:15:57Z"}
{"name":"haybale","vers":"0.3.2","deps":[{"name":"boolector","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":["max_level_debug","release_max_level_info"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"27689d33cd615fda21e0dfb4383954698ba75681cdf214bd7cceecfc05d56298","features":{},"yanked":false,"pubtime":"2020-02-28T18:20:47Z"}
{"name":"haybale","vers":"0.4.0","deps":[{"name":"boolector","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b4574972b9517e28f4a1c1faf56ef116e404d5ace00f8a46907ddf1b08618984","features":{},"yanked":false,"pubtime":"2020-03-31T19:13:29Z"}
{"name":"haybale","vers":"0.5.0","deps":[{"name":"boolector","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9ac90370f33492ec5572fab617c708b7f36b785779ea7729fae067b351c8034a","features":{},"yanked":false,"pubtime":"2020-07-30T00:10:22Z"}
{"name":"haybale","vers":"0.5.1","deps":[{"name":"boolector","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7beb3e7cab7ed54037f352598c1c4745de9f23301a4742b884dfc4f78f61a192","features":{},"yanked":false,"pubtime":"2020-08-31T23:05:26Z"}
{"name":"haybale","vers":"0.6.0","deps":[{"name":"boolector","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c9e435bf708354cbc2d4549e87edb36fb04b24b535175e40542a36b6a25eb5de","features":{"llvm-10":["llvm-ir/llvm-10"],"llvm-10-strict":["llvm-10","llvm-ir/llvm-10-strict"],"llvm-9":["llvm-ir/llvm-9"],"llvm-9-strict":["llvm-9","llvm-ir/llvm-9-strict"]},"yanked":false,"pubtime":"2020-09-01T17:00:52Z"}
{"name":"haybale","vers":"0.6.1","deps":[{"name":"boolector","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"db56173154229490cec1e6985797037a038ac5a08160bacd66ebefbc17eb5f92","features":{"llvm-10":["llvm-ir/llvm-10"],"llvm-10-strict":["llvm-10","llvm-ir/llvm-10-strict"],"llvm-9":["llvm-ir/llvm-9"],"llvm-9-strict":["llvm-9","llvm-ir/llvm-9-strict"]},"yanked":false,"pubtime":"2020-09-17T18:56:04Z"}
{"name":"haybale","vers":"0.6.2","deps":[{"name":"boolector","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a4648a97cf7381e610b0a9a32f6a924c0aa6435dd3ae39ce50d586fd822294af","features":{"llvm-10":["llvm-ir/llvm-10"],"llvm-10-strict":["llvm-10","llvm-ir/llvm-10-strict"],"llvm-11":["llvm-ir/llvm-11"],"llvm-11-strict":["llvm-11","llvm-ir/llvm-11-strict"],"llvm-9":["llvm-ir/llvm-9"],"llvm-9-strict":["llvm-9","llvm-ir/llvm-9-strict"]},"yanked":false,"pubtime":"2020-10-20T22:16:32Z"}
{"name":"haybale","vers":"0.6.3","deps":[{"name":"boolector","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fa4ad16a95f835097e509006155e3ef85dfa70fe3ea16a850bbe7247923eb87e","features":{"llvm-10":["llvm-ir/llvm-10"],"llvm-10-strict":["llvm-10","llvm-ir/llvm-10-strict"],"llvm-11":["llvm-ir/llvm-11"],"llvm-11-strict":["llvm-11","llvm-ir/llvm-11-strict"],"llvm-9":["llvm-ir/llvm-9"],"llvm-9-strict":["llvm-9","llvm-ir/llvm-9-strict"]},"yanked":false,"pubtime":"2020-10-26T23:26:57Z"}
{"name":"haybale","vers":"0.6.4","deps":[{"name":"boolector","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustversion","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b8424abfed8fc1ab566a18f71733f9919a0a11c5ac79d2c0fa4f90b7c4f15fd2","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-11-strict":["llvm-11","llvm-ir/llvm-11-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"]},"yanked":false,"pubtime":"2021-04-23T00:02:18Z"}
{"name":"haybale","vers":"0.7.0","deps":[{"name":"boolector","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustversion","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"41ae8f097f46adba6a9def33b90584e1dc8b8192d2bc3e56f872beda3de7c4a1","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"]},"yanked":false,"pubtime":"2021-08-26T17:40:40Z"}
{"name":"haybale","vers":"0.7.1","deps":[{"name":"boolector","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustversion","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4fb3b65f04dd0aa507c6b98a3e7062ceb9a1f9fa67d61cf8fd29408113171418","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-13-strict":["llvm-13","llvm-ir/llvm-13-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"]},"yanked":false,"pubtime":"2021-10-21T22:56:35Z"}
{"name":"haybale","vers":"0.7.2","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpp_demangle","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"either","req":"^1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"llvm-ir","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"reduce","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-demangle","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustversion","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c3237a40ddd2efc4a78cf70a8ba7eedec66840ed9ab128decc40e6249246fc6c","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"]},"yanked":false,"pubtime":"2023-10-27T00:50:03Z"}