{"name":"btor2tools","vers":"1.0.0","deps":[{"name":"btor2tools-sys","req":"~1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c90a72af16597ab3caa8568ca956566547a4ba2014c3b6997752bdf6a5519d2e","features":{},"yanked":false,"pubtime":"2020-11-15T17:53:25Z"}
{"name":"btor2tools","vers":"1.1.0","deps":[{"name":"btor2tools-sys","req":"~1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"~1.0.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4337eca3c202f81154207c722677e21c6004dd27306c8b43a7197927bc31369b","features":{},"yanked":false,"pubtime":"2020-11-17T21:41:44Z"}