{"name":"prusti-specs","vers":"0.1.0","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b809714d835656f20a0a8a6ef4d04d88aec2192361c69322ad326058f7e6d57b","features":{},"yanked":false,"pubtime":"2022-09-26T13:37:32Z"}
{"name":"prusti-specs","vers":"0.1.1","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c1652eddc48f156a1ef28903a56f45bf64be6ddd6690fba9c399be98cee8f076","features":{},"yanked":false,"pubtime":"2022-09-27T13:35:24Z"}
{"name":"prusti-specs","vers":"0.1.2","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5edc70e3f8ace3555aadeec449c9f8b92eb93135206d2d4620e59f0ba0d48d30","features":{},"yanked":false,"pubtime":"2022-10-03T09:18:28Z"}
{"name":"prusti-specs","vers":"0.1.3","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"844515a95ae44cea7b217e65f7df47b9b537ece7fb105f6c185515c781dba6f2","features":{},"yanked":false,"pubtime":"2023-01-31T13:27:35Z"}
{"name":"prusti-specs","vers":"0.1.4","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6444101fad4eeccd1c93f655d70e934c580fe5d65cd4d4db80b096ba82ccda6","features":{},"yanked":false,"pubtime":"2023-02-13T16:30:44Z"}
{"name":"prusti-specs","vers":"0.1.5","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"656fc59b58bebc94e127b411e12f850e31bd5208be91a0f820ed5778a4974fc5","features":{},"yanked":false,"pubtime":"2023-04-03T11:20:13Z"}
{"name":"prusti-specs","vers":"0.1.6","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9d5fd8c014469297eee269776c451f2e3ae43a1a207ab9824ad4ee4097299c2f","features":{},"yanked":false,"pubtime":"2023-04-05T13:47:06Z"}
{"name":"prusti-specs","vers":"0.1.7","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9da9f019441a3edc81f55b432b52c5d6f46a1ba2f3fe0625a74107ac3c394902","features":{},"yanked":false,"pubtime":"2023-05-23T17:15:34Z"}
{"name":"prusti-specs","vers":"0.1.8","deps":[{"name":"itertools","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3889d17f48028b6284199865aa0c8fd1ab27f38c98de6f8fc156b04d9d760b9c","features":{},"yanked":false,"pubtime":"2023-06-26T15:00:48Z"}
{"name":"prusti-specs","vers":"0.1.9","deps":[{"name":"itertools","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f329f6b95c51f772ea086fa0d506bfc6bcd1c7be7af2f8bf193d83ea43d3d26b","features":{},"yanked":false,"pubtime":"2023-07-20T19:50:20Z"}
{"name":"prusti-specs","vers":"0.1.10","deps":[{"name":"itertools","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d9577ecb5416aa295c78410047d90611051cb67e7919eff34b2f3fc25adebd60","features":{},"yanked":false,"pubtime":"2023-08-11T12:58:59Z"}
{"name":"prusti-specs","vers":"0.2.0","deps":[{"name":"itertools","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"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":"rustc-hash","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^1.0","features":["full","extra-traits","visit","visit-mut","parsing","printing"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e7c85c5cb970849b87bde8ea4975ce868f089d555718bf53c670d1b001987ca4","features":{},"yanked":false,"pubtime":"2023-09-04T12:26:37Z"}