{"name":"z3_ref","vers":"0.1.0","deps":[{"name":"bindgen","req":"^0.40.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"483164046ed7edf148a70a541eb7ec34b8c541118ef250302259952e2cf7ed5d","features":{},"yanked":false,"pubtime":"2018-09-20T14:19:49Z"}
{"name":"z3_ref","vers":"0.1.1","deps":[{"name":"bindgen","req":"^0.40.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"0de4c838a64644b7223c95e1d80341383aa4c1e6e18634a368c1468dbd1ade3b","features":{},"yanked":false,"pubtime":"2018-09-21T06:56:06Z"}
{"name":"z3_ref","vers":"0.1.2","deps":[{"name":"bindgen","req":"^0.40.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6b637283ee34d957247ee0a5499441751347c87e6cb8597f64a7011c5528a676","features":{},"yanked":false,"pubtime":"2018-09-24T07:29:42Z"}
{"name":"z3_ref","vers":"0.1.3","deps":[{"name":"bindgen","req":"^0.40.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"b89091dd73acd4dabdca202fe758b365985172e738f3a464f26bf18e573ef941","features":{},"yanked":false,"pubtime":"2018-09-24T07:36:38Z"}
{"name":"z3_ref","vers":"0.1.4","deps":[{"name":"bindgen","req":"^0.40.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"f437746e1982de265c06c9022b5df2a2bd6e9f37053e2bb74614c223d05cb79c","features":{},"yanked":false,"pubtime":"2018-10-03T13:09:33Z"}