{"name":"btor2rs","vers":"0.1.0-alpha.1","deps":[{"name":"strum","req":"^0.25","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"27702ba7e34f00876b1e5dbecde0d30cc4a8764d2a7553fa0f999b6d1ba026f0","features":{},"yanked":false,"rust_version":"1.70","pubtime":"2023-10-16T21:45:23Z"}
{"name":"btor2rs","vers":"0.1.0-alpha.2","deps":[{"name":"strum","req":"^0.25","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f945bc346749a31a5b53703614c31db2eeab2aec3251008a5405b126479718fe","features":{},"yanked":false,"rust_version":"1.70","pubtime":"2023-10-16T22:21:25Z"}
{"name":"btor2rs","vers":"0.1.0-alpha.3","deps":[{"name":"strum","req":"^0.25","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d5e5b126ec959d99009aaff632e9e763c91d99cf038515edb5521d4b2a70a562","features":{},"yanked":false,"rust_version":"1.70","pubtime":"2023-10-16T22:52:28Z"}
{"name":"btor2rs","vers":"0.1.0","deps":[{"name":"strum","req":"^0.25","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.49","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"36652da2744e1b6c7606ea2317468eb6edbb087b3a3cace5fe0ef29319c1352e","features":{},"yanked":false,"rust_version":"1.70","pubtime":"2024-01-06T16:28:37Z"}