{"name":"tree-sitter-agda","vers":"1.3.3","deps":[{"name":"cc","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.24","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":"79170741bc75a42d93a69f7e2d39bece006bea602af30650f7f323645094d693","features":{},"yanked":false,"pubtime":"2024-11-10T23:15:28Z"}