{"name":"flussab-btor2","vers":"0.1.0","deps":[{"name":"bstr","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2deb0a11e379d6c866f5f164fa956d6745d8689dffa117863c5bbad9f23df899","features":{},"yanked":false,"pubtime":"2024-11-19T09:37:42Z"}