{"name":"tree-sitter-dafny","vers":"0.1.0","deps":[{"name":"cc","req":"^1.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.24.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tree-sitter-language","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8c0d15ae3182196f73a30b4ddf3e68ee0f72757ba7ec0d133ffcb9d0fa737fc9","features":{},"yanked":false,"pubtime":"2026-06-30T16:26:12Z"}