{"name":"boolector","vers":"0.1.0","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0abdb6a6d270f1d31b62eb396ff0382e678700600266a7b6ed5e8c2d42780cc5","features":{},"yanked":false,"pubtime":"2019-09-16T23:20:05Z"}
{"name":"boolector","vers":"0.1.1","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"692eb1e1c2065b00a4921d11db63baa6d0a656a57a53bb420c63ad1351ea1f92","features":{},"yanked":false,"pubtime":"2019-09-16T23:34:21Z"}
{"name":"boolector","vers":"0.1.2","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"77af749eedde3f8082de48a11572e4d9c6480b56e0f41c397e0580d9da487fd2","features":{},"yanked":false,"pubtime":"2019-11-25T18:12:47Z"}
{"name":"boolector","vers":"0.2.0","deps":[{"name":"boolector-sys","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"31443e3e1b79151f6dac2b21ef43f67ef8c0132fefd1ca62238b6db7872d6cc8","features":{},"yanked":false,"pubtime":"2020-01-25T05:07:52Z"}
{"name":"boolector","vers":"0.3.0","deps":[{"name":"boolector-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd222056a165c8089b8cd15cc3ac0679bd9ca2a529411406390a7cf20069aae8","features":{},"yanked":false,"pubtime":"2020-01-29T17:57:10Z"}
{"name":"boolector","vers":"0.4.0","deps":[{"name":"boolector-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"046af202d5ce03b90089bc3b866da4096ab5936e2ca778d70fd04a37016ae77e","features":{},"yanked":false,"pubtime":"2020-07-27T23:53:54Z"}
{"name":"boolector","vers":"0.4.1","deps":[{"name":"boolector-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cad5ff6198c4696f0059f22091aacd2d40b4af6ea804bc396bea08a907f838d2","features":{},"yanked":false,"pubtime":"2020-08-31T17:57:51Z"}
{"name":"boolector","vers":"0.4.2","deps":[{"name":"boolector-sys","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2dc3b440a0cd770e8cd01c982f22d3d7f087eec4558c47e2cb37c440f1fe04aa","features":{"vendor-lgl":["boolector-sys/vendor-lgl"]},"yanked":false,"pubtime":"2021-01-07T18:55:06Z"}
{"name":"boolector","vers":"0.4.3","deps":[{"name":"boolector-sys","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5567f99e46c8f1f61624adafd2fdf4424b203d9fc5534368421725af17c5fd21","features":{"vendor-lgl":["boolector-sys/vendor-lgl"]},"yanked":false,"pubtime":"2022-04-05T03:36:56Z"}