crates.io-index

1
{"name":"klee-bindings","vers":"0.1.0","deps":[{"name":"bindgen","req":"^0.57.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cty","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"82178231bdcf45c978d51193042ccfd97890f165e7055d664329e66ac91c2fd4","features":{},"yanked":false}
2