{"name":"seer-z3","vers":"0.1.0","deps":[{"name":"env_logger","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^0.1","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":"log","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"},{"name":"z3-sys","req":"~0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"52863c66fa327aea5d43fded5bd4accaea89c85e9754cd5fccfb89b8bda39b8f","features":{},"yanked":false,"pubtime":"2017-06-08T22:32:12Z"}
{"name":"seer-z3","vers":"0.1.1","deps":[{"name":"env_logger","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1.0","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":"log","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"},{"name":"z3-sys","req":"~0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"421e4158e5616d983fea90a67ea7d19721bd95419815f1cfcd18626d87bdce83","features":{},"yanked":false,"pubtime":"2018-01-06T15:43:49Z"}
{"name":"seer-z3","vers":"0.1.2","deps":[{"name":"env_logger","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1.0","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":"log","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"},{"name":"z3-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"79fd45b3d4e640bd42e0b4c6a9f2114b127f15098c31f1e91e535a33e2160cbb","features":{},"yanked":false,"pubtime":"2018-06-12T15:42:33Z"}