{"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,"pubtime":"2020-10-01T07:32:20Z"}
{"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,"pubtime":"2022-02-07T03:48:55Z"}
{"name":"prusto-macros","vers":"0.2.1","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":"ac871caceb559c1714e61bce3c391994c6e080c605166d5419ec704b83efa9fb","features":{},"yanked":false,"pubtime":"2024-12-06T10:13:28Z"}