{"name":"aws-dafny-runtime","vers":"0.1.0","deps":[{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"09ff1b4494a256bc46e3dfee703e77964356d15a29b32e3ba503eeb716db574a","features":{},"yanked":true,"pubtime":"2024-12-04T16:06:43Z"}
{"name":"aws-dafny-runtime","vers":"0.1.1","deps":[{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a1fb8c71207e53b2a538c6427c946e87883b17e48f9a4e6eca8c075e5b4d413","features":{},"yanked":true,"pubtime":"2024-12-04T16:52:17Z"}