{"name":"seer-z3","vers":"0.1.0","deps":[{"name":"lazy_static","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"~0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"~0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"52863c66fa327aea5d43fded5bd4accaea89c85e9754cd5fccfb89b8bda39b8f","features":{},"yanked":false}