{"name":"btor2tools-sys","vers":"1.0.0","deps":[{"name":"bindgen","req":"~0.55.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"~0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"0dfc4c6bec6bdf6cacaade98ed04640a6a3f756e7fac1edaf3d03daedd041d77","features":{},"yanked":false,"links":"btor2parser","pubtime":"2020-11-15T16:38:50Z"}
{"name":"btor2tools-sys","vers":"1.1.0","deps":[{"name":"bindgen","req":"~0.68.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"copy_dir","req":"~0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"da139acf704049c4b5f9be333fa78675bd213bfafba1ba780f777ddf589e285f","features":{},"yanked":false,"links":"btor2parser","pubtime":"2023-11-09T14:27:30Z"}