{"name":"prusto-macros","vers":"0.1.0","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["default","extra-traits","full"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8d6ec91861e8c2131150c9720b0199a475f9d0475b25900bb5466f25752ae33a","features":{},"yanked":false}
{"name":"prusto-macros","vers":"0.2.0","deps":[{"name":"proc-macro2","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["default","extra-traits","full"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"729a73ec40e80da961c846455ec579c521346392d6f9f5a8c8aadfb5c99f9cf8","features":{},"yanked":false}