{"name":"boolector-sys","vers":"0.1.0","deps":[{"name":"bindgen","req":"^0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"18f68a02c879dd1e889ec81f82fad0ad2c0aaa0c27979c844617bd2aa1d2bfd9","features":{},"yanked":false,"pubtime":"2019-05-08T14:34:24Z"}
{"name":"boolector-sys","vers":"0.1.1","deps":[{"name":"bindgen","req":"^0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"cae03c3316b5208190816416ca925f70040a356f24392212259274f5ad7ae536","features":{},"yanked":false,"pubtime":"2019-05-08T14:41:13Z"}
{"name":"boolector-sys","vers":"0.1.2","deps":[{"name":"bindgen","req":"^0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"e2bd721690b86b4e0d98e091fbda5c1f9b60ae4e593f86eacb1d3a0b88546d53","features":{},"yanked":false,"pubtime":"2019-05-08T16:29:51Z"}
{"name":"boolector-sys","vers":"0.2.0","deps":[],"cksum":"9af96b351c4172ab62e53beca28d24884ec41a28ca58f8012d94307e0b7693a2","features":{},"yanked":false,"pubtime":"2019-05-21T16:35:41Z"}
{"name":"boolector-sys","vers":"0.3.0","deps":[{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"54752a2019d5cf87f00c3a6e7277cb0b250ee9fcf18fdece6206b4e9c9cec5d6","features":{},"yanked":false,"pubtime":"2019-09-10T09:46:58Z"}
{"name":"boolector-sys","vers":"0.3.1","deps":[{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fa1afe1ea3f79d4f4c6b81d5981f850413e807bbbf7d4e2fbaef8d9d2363ee44","features":{},"yanked":false,"pubtime":"2019-09-16T13:36:04Z"}
{"name":"boolector-sys","vers":"0.4.0","deps":[{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"47fdef66955c9dcd3c8c9e2146e5ae91126041f0ce17c5bb7e8767bb1679154f","features":{},"yanked":false,"pubtime":"2020-01-29T10:26:48Z"}
{"name":"boolector-sys","vers":"0.5.0","deps":[{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f0c00cb8e0a490a9afe22c4c77a53006da38e1e7e0fb837dcd381a0ea6bab007","features":{},"yanked":false,"pubtime":"2020-07-27T21:47:41Z"}
{"name":"boolector-sys","vers":"0.6.0","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f61f5eb994fdf111b355f35d7b18701be84457ba377d6f0aa6f47b95b5e58dfb","features":{"vendor-lgl":["cc","cmake"]},"yanked":false,"links":"boolector","pubtime":"2020-11-30T13:49:08Z"}
{"name":"boolector-sys","vers":"0.6.1","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c57cbe2fffd5e346b62224629161f6d0f45f8d3851038b9bdd39d6a425fbe928","features":{"vendor-lgl":["cc","cmake"]},"yanked":false,"links":"boolector","pubtime":"2020-12-04T11:41:13Z"}
{"name":"boolector-sys","vers":"0.6.2","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9835fcd71825e043269106b744f7e958497b0540ab8ae54cf1e41d7ca5cc1c1e","features":{"vendor-lgl":["cc","cmake","copy_dir"]},"yanked":false,"links":"boolector","pubtime":"2021-01-21T12:54:03Z"}
{"name":"boolector-sys","vers":"0.6.3","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4b087a617403133ccedd30ae4bc03fa6dde621ae30a5285a0335f0ac1ca927c7","features":{"vendor-lgl":["cc","cmake","copy_dir"]},"yanked":false,"links":"boolector","pubtime":"2021-01-21T13:28:02Z"}
{"name":"boolector-sys","vers":"0.7.0","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1e659761e297e4e3190cc7c91995b468c968d4817859d8d4f7165bf2226d9d7f","features":{"vendor-lgl":["cc","cmake","copy_dir"]},"yanked":false,"links":"boolector","pubtime":"2021-11-24T11:58:44Z"}
{"name":"boolector-sys","vers":"0.7.1","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5b082d1c14d94d734ad51bfb114f451bf6f1e1054dafae6ff00265d2fe5963e5","features":{"vendor-lgl":["cc","cmake","copy_dir"]},"yanked":false,"links":"boolector","pubtime":"2021-11-25T11:26:15Z"}
{"name":"boolector-sys","vers":"0.7.2","deps":[{"name":"cc","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"^0.1.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.73","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"17f0c2f69c37174fb92110f2949c79ad87f6ab48bf45e2e3220b669c10698093","features":{"vendor-lgl":["cc","cmake","copy_dir"]},"yanked":false,"links":"boolector","pubtime":"2024-02-26T13:39:58Z"}